An introduction to finite automata on infinite words

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


Finite Automaton Finite Union Deterministic Finite Automaton Trivial Intersection Deterministic Automaton 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Eilenberg, S., Automata, Languages and Machines, Vol. A, Academic Press, 1974.Google Scholar
  2. 2.
    Graham, R., Rotschild B. and J. Spencer, Ramsey Theory, Wiley, 1980.Google Scholar
  3. 3.
    Lallement, G., Semigroups and Combinatorial Applications, Wiley, 1979.Google Scholar
  4. 4.
    Schutzenberger, M.P., Sur les relations rationnelles fonctionnelles, in Automata, Languages and Programming, M. Nivat ed., North Holland, 1973.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Dominique Perrin
    • 1
  1. 1.Université Paris 7LITP

Personalised recommendations