 One then says that a formal language is accepted by this topological automaton if the point, after iteration by the homeomorphisms, intersects the accept set.But, of course, this is nothing more than the standard definition of an M-automaton.The behaviour of topological automata is studied in the field of topological dynamics.