Automata, Semigroups, Logic and GamesBy
- Dominique Perrin
- Jean-Éric Pin
Infinite Words is an important theory in both Mathematics and Computer Sciences. Many new developments have been made in the field, encouraged by its application to problems in computer science. Infinite Words is the first manual devoted to this topic.Infinite Words explores all aspects of the theory, including Automata, Semigroups, Topology, Games, Logic, Bi-infinite Words, Infinite Trees and Finite Words. The book also looks at the early pioneering work of BÃ¼chi, McNaughton and SchÃ¼tzenberger.
Researchers and Graduate Students in Mathematics and Computer Sciences. Computer Science Engineers.
Pure and Applied Mathematics
Hardbound, 550 Pages
Published: February 2004
Imprint: Academic Press
"The most impressive aspect of the book "Infinite Words" by Dominique Perrin and Jean-Eric Pin is the extent of its coverage. It is a virtually complete compendium of everything to do with infinite words: infinite-time automata; connections to semigroups, topology and logic; infinite games; bi-infinite words; infinite trees." Robert McNaughton, Emeritus Professor Ph.D., Harvard University, USA