Skip to main content

Infinite Words

Automata, Semigroups, Logic and Games

  • 1st Edition, Volume 141 - February 12, 2004
  • Latest edition
  • Authors: Dominique Perrin, Jean-Éric Pin
  • Language: English

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… Read more

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.

Key features

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.

Readership

Researchers and Graduate Students in Mathematics and Computer Sciences. Computer Science Engineers.

Review quotes

"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

Product details

  • Edition: 1
  • Latest edition
  • Volume: 141
  • Published: February 18, 2004
  • Language: English

About the authors

DP

Dominique Perrin

Affiliations and expertise
Université de Marne la vallée, Marne la vallée, France

JP

Jean-Éric Pin

Affiliations and expertise
Université Denis Diderot, Paris, France

View book on ScienceDirect

Read Infinite Words on ScienceDirect