A Note on Homogeneous Experiments with Finite Automata
Ján Cerný · Czech digital mathematics library · 2019
Some papers, e.g., \cite{Moore56,Ginsburg58}, are concerned with the question whether there exists, for a given sequential machine, a homogeneous experiment which would bring it into a uniquely determined state, not depending on the initial state of the machine. The problem was solved for Moore's machines with distinguishable states. In the present paper, the corresponding problem is treated for autonomous automata (i.e., without output). Necessary and sufficient conditions for the existence of such experiments are stated and estimates of their minimal length are established.