By
Dominique Perrin, Université de Marne la vallée, Marne la vallée, France
Jean-Éric Pin, Université Denis Diderot, Paris, France
Description
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.
Included in series
Pure and Applied Mathematics
Audience:
Researchers and Graduate Students in Mathematics and Computer Sciences. Computer Science Engineers.