Advertisement

Automates boustrophedon sur des mots infinis

  • J. P Pecuchet
Part I The Theory Of Buchi And McNaughton
Part of the Lecture Notes in Computer Science book series (LNCS, volume 192)

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.

Keywords

Nous Allons Nous Montrons Nous Noterons Nous Renvoyons Obtient Alors 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [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).Google Scholar
  2. [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.Google Scholar
  3. [3] J.P. PECUCHET. "Automates boustrophedon et mots infinis", T.C.S. (1984).Google Scholar
  4. [4] J.C. SHEPHERDSON. "The reduction of two-way automata to one-way automata", IBM J. Res., (1959), 198–200.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • J. P Pecuchet
    • 1
  1. 1.Faculte Des Sciences Laboratoire D'informatiqueUniversite De Haute NormandieMont-Saint-AignanFrance

Personalised recommendations