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.
Serves as both an introduction to the field and as a reference book.
Contains numerous exercises desgined to aid students and readers.
Self-contained chapters provide helpful guidance for lectures.
1. Cover image - p. Cover 2. Title page - p. Cover 3. Table of Contents - p. Cover 4. Inside Front Cover - p. Cover 5. Copyright page - p. ifc1 6. Preface - p. ifc1 7. Chapter I: Automata and Infinite Words - p. 3 8. Chapter II: Automata and Semigroups - p. 73 9. Chapter III: Automata and Topology - p. 131 10. Chapter IV: Games and Strategies - p. 185 11. Chapter V: Wagner Hierarchy - p. 213 12. Chapter VI: Varieties - p. 264 13. Chapter VII: Local Properties - p. 306 14. Chapter VIII: An Excursion Into Logic - p. 326 15. Chapter IX: BI-Infinite Words - p. 380 16. Chapter X: Infinite Trees - p. 412 17. Annex A: Finite Semigroups - p. 434 18. Annex B: Varieties of Finite Semigroups - p. 463 19. References - p. 498 20. List of Tables - p. 521 21. List of Figures - p. 523 22. Index - p. 529
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.
Serves as both an introduction to the field and as a reference book.
Contains numerous exercises desgined to aid students and readers.
Self-contained chapters provide helpful guidance for lectures.
1. Cover image - p. Cover 2. Title page - p. Cover 3. Table of Contents - p. Cover 4. Inside Front Cover - p. Cover 5. Copyright page - p. ifc1 6. Preface - p. ifc1 7. Chapter I: Automata and Infinite Words - p. 3 8. Chapter II: Automata and Semigroups - p. 73 9. Chapter III: Automata and Topology - p. 131 10. Chapter IV: Games and Strategies - p. 185 11. Chapter V: Wagner Hierarchy - p. 213 12. Chapter VI: Varieties - p. 264 13. Chapter VII: Local Properties - p. 306 14. Chapter VIII: An Excursion Into Logic - p. 326 15. Chapter IX: BI-Infinite Words - p. 380 16. Chapter X: Infinite Trees - p. 412 17. Annex A: Finite Semigroups - p. 434 18. Annex B: Varieties of Finite Semigroups - p. 463 19. References - p. 498 20. List of Tables - p. 521 21. List of Figures - p. 523 22. Index - p. 529
