Abstract
We show that if the state set Q of a synchronizing automaton \( \mathcal{A} = \left\langle {Q,\sum ,\delta } \right\rangle \) admits a linear order such that for each letter a ∈ Σ the transformation δ(_, a) of Q preserves this order, then \( \mathcal{A} \) possesses a reset word of length |Q| − 1. We also consider two natural generalizations of the notion of a reset word and provide for them results of a similar flavour.
The authors acknowledge support from the Education Ministry of Russian Federation, grants E02-1.0-143 and 04.01.059, from the Russian Foundation of Basic Research, grant 01-01-00258, and from the INTAS through the Network project 99-1224 ‘Combinatorial and Geometric Theory of Groups and Semigroups and its Applications to Computer Science’.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Černý, J.: Poznámka k homogénnym eksperimentom s konecnými avtomatami. Mat.-Fyz. Cas. Slovensk. Akad. Vied. 14 (1964) 208–216 [in Slovak].
Dubuc, L.: Sur les automates circulaires et la conjecture de Černý. RAIRO Inform. Theor. Appl. 32 (1998) 21–34 [in French].
Eppstein, D.: Reset sequences for monotonic automata. SIAM J. Comput. 19 (1990) 500–510.
Kari, J.: A counter example to a conjecture concerning synchronizing words in finite automata. EATCS Bull. 73 (2001) 146.
Kari, J.: Synchronizing finite automata on Eulerian digraphs. Math. Foundations Comput. Sci.; 26th Internat. Symp., Marianske Lazne, 2001. Lect. Notes Comput. Sci. 2136 (2001) 432–438.
Mateescu, A., Salomaa, A.: Many-valued truth functions, Černý’s conjecture and road coloring. EATCS Bull. 68 (1999) 134–150.
Pin, J.-E.: Le Problème de la Synchronisation. Contribution à l’Étude de la Conjecture de Černý. Thèse de 3éme cycle. Paris, 1978 [in French].
Pin, J.-E.: Sur les mots synchronisants dans un automate fini. Elektronische Informationverarbeitung und Kybernetik 14 (1978) 283–289 [in French].
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ananichev, D.S., Volkov, M.V. (2003). Synchronizing Monotonic Automata. In: Ésik, Z., Fülöp, Z. (eds) Developments in Language Theory. DLT 2003. Lecture Notes in Computer Science, vol 2710. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45007-6_8
Download citation
DOI: https://doi.org/10.1007/3-540-45007-6_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40434-7
Online ISBN: 978-3-540-45007-8
eBook Packages: Springer Book Archive