A Generalization of Semenov's Theorem to Automata over Real Numbers