Abstract
We investigate the relationships between two types of words that have recently arisen in studying “black-box” versions of the famous Černý problem on synchronizing automata. Considering the languages formed by words of each of these types, we verify that one of them is regular while the other is not, thus showing that the two notions in question are different. We also discuss certain open problems concerning words of minimum length in these languages.
The authors acknowledge support from the Russian Education Ministry through the Grant Center at St Petersburg State University, grant E00-1.0-92, 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].
Černý, J., Pirická, A., Rosenauerova, B.:Ondirectable automata.Kybernetika (Praha) 7 (1971) 289–298.
Dubuc, L.: Les automates circulaires biases verifient la conjecture de Černý. RAIRO, Informatique Théorique et Applications 30 (1996) 495–505 [in French].
Goehring, W.: Minimal initializing word:A contribution to Černý conjecture. J. Autom. Lang. Comb. 2 (1997) 209–226.
Ito, M., Duske, J.: On cofinal and definite automata. Acta Cybernetica 6 (1983) 181–189.
Kari, J.:Acounter example to a conjecture concerning synchronizingwords in finite automata. EATCS Bulletin 73 (2001) 146.
Margolis, S., Pin, J.-E., Volkov, M.V.:Words guaranteeing minimal image. Proc. III Internat. Colloq. onWords, Languages and Combinatorics, submitted.
Pin, J.-E.: Sur un cas particulier de la conjecture de Černý. Automata, Languages, Programming; 5th Colloq., Udine 1978, Lect. Notes Comput. Sci. 62 (1978) 345–352 [in French].
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].
Pin, J.-E.: On two combinatorial problems arising from automata theory. Ann. Discrete Math. 17 (1983) 535–548.
Sauer, N., Stone, M. G.: Composing functions to reduce image size. Ars Combinatoria 31 (1991) 171–176.
Starke, P. H.: Abstrakte Automaten. Berlin, 1969 [in German].
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ananichev, D.S., Volkov, M.V. (2002). Collapsing Words vs. Synchronizing Words. In: Kuich, W., Rozenberg, G., Salomaa, A. (eds) Developments in Language Theory. DLT 2001. Lecture Notes in Computer Science, vol 2295. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46011-X_13
Download citation
DOI: https://doi.org/10.1007/3-540-46011-X_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43453-5
Online ISBN: 978-3-540-46011-4
eBook Packages: Springer Book Archive