Abstract
The states of a finite automaton are ordered by height. This order is shown to be graduated, and the well-known Cerny problem on the minimal length of reset words can be formulated in terms of global height. The problem is proved for automata with four states.
Similar content being viewed by others
REFERENCES
I. K. Rystsov, “Representations of regular ideals in finite automata,” Cybernetics and Systems Analysis, No. 5, 48–58 (2003).
N. Bourbaki, Algebra, Livre II [Russian translation], Fizmatgiz, Moscow (1962).
V. A. Artamonov, V. N. Salii, L. A. Skornyakov, et al., General Algebra [in Russian], Vol. 2, Fizmatlit, Moscow (1991).
O. Ore, Theory of Graphs [Russian translation], Fizmatlit, Moscow (1968).
G. Lallement, Semigroups and Combinatorial Applications [Russian translation], Mir, Moscow (1985).
J. Cerny, A. Piricka, and B. Rosenauerova, “On directable automata,” Kybernetika, No. 4, 289–298 (1971).
M. Aigner, Combinatorial Theory [Russian translation], Mir, Moscow (1982).
P. Halmos, Finite-Dimensional Vector Spaces [Russian translation], Fizmatlit, Moscow (1963).
F. Karteszi, Introduction to Finite Geometries [Russian translation], Fizmatlit, Moscow (1980).
R. Hartshorne, Foundations of Projective Geometry [Russian translation], Mir, Moscow (1970).
D. Hilbert and S. Cohn-Vossen, Anschauliche Geometrie [Russian translation], Fizmatlit, Moscow (1981).
J. Kari, A Counter Example to a Conjecture Concerning Synchronizing Words in Finite Automata, EATCS Bulletin, 71 (2000).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rystsov, I.K. On the Height of a Finite Automaton. Cybernetics and Systems Analysis 40, 467–477 (2004). https://doi.org/10.1023/B:CASA.0000047868.28366.da
Issue Date:
DOI: https://doi.org/10.1023/B:CASA.0000047868.28366.da