Résumé
Nous étudions le comportement des automates boustrophedon (automates finis lisant dans les deux sens) sur des mots infinis ou bi-infinis. Nous montrons (de façon effective) qu'un automate boustrophedon ne fait jamais mieux qu'un automate fini. En fait les parties de Aℕ ou Aℤ reconnues par lest boustrophedon sont exactement celles qui sont reconnues par les automates finis, sauf peut-être dans le cas des mots bi-infinis dont la lecture commence dans la partie finie.
Nous donnons également des algorithmes pour décider de l'équivalence de deux automates boustrophedon sur des mots finis ou infinis.
Preview
Unable to display preview. Download preview PDF.
References
[1] H. ALAIWAN. "Algorithmes d'analyse des automates finis et applications aux problèmes de synchronisation", Thèse de 3ème cycle, Paris 6, (1983).
[2] J.R. BUCHI "On a decision method in restricted second order arithmetic in Logic, Mehtodology and Philosophy of Science, (Proc. 1960 Internat. Congr.), Stanford Univ. Press, Stanford, Calif. 1–11.
[3] J.P. PECUCHET. "Automates boustrophedon et mots infinis", T.C.S. (1984).
[4] J.C. SHEPHERDSON. "The reduction of two-way automata to one-way automata", IBM J. Res., (1959), 198–200.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pecuchet, J.P. (1985). Automates boustrophedon sur des mots infinis. In: Nivat, M., Perrin, D. (eds) Automata on Infinite Words. LITP 1984. Lecture Notes in Computer Science, vol 192. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15641-0_22
Download citation
DOI: https://doi.org/10.1007/3-540-15641-0_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15641-3
Online ISBN: 978-3-540-39505-8
eBook Packages: Springer Book Archive