Infinite Words Automata, Semigroups, Logic and Games

Infinite Words is an important theory in both Mathematics and Computer Sciences. This work explores various aspects of the theory, including automata, semigroups, topology, games, logic, bi-infinite Words, infinite trees and finite words. It also looks at the early pioneering work of Buchi, McNaughton and Schutzenberger.

Bericht

"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

Produktdetails

• Autoren: Jean-eric Pin, Dominique Pin Perrin, Perrin Dominique, Jean-Éric Pin, Dominique Perrin
• Verlag: ELSEVIER SCIENCE BV
• Sprachen: Englisch
• Inhalt: Buch
• Produktform: Fester Einband
• Erscheinungsdatum: 29.06.2003
• Thema: Naturwissenschaften, Medizin, Informatik, Technik
• EAN: 9780125321112
• ISBN: 978-0-12-532111-2
• Anzahl Seiten: 550
• Serie: Pure and Applied Mathematics
• Themen: COMPUTERS / Computer Science; MATHEMATICS / Applied; computer science; Applied mathematics