Where many French researchers (like Perrin and Pin) archive their foundational papers. Summary Table: Concepts at a Glance Automata Recognition Büchi Automata Semigroups Classification Algebraic Variety Logic Specification Games Infinite Duration Games
The book is available for digital purchase or preview on Amazon and Google Books . Download Infinite words automata semigroups logic and games
Finally, the fourth pillar is Games. Infinite games are a natural model for the interaction between a system and its environment. Where many French researchers (like Perrin and Pin)
Understanding these topics allows you to view computation not as a one-off calculation, but as an . Infinite games are a natural model for the
While this phrase often refers to seminal texts—most notably the comprehensive volume Infinite Words by Dominique Perrin and Jean-Éric Pin—it represents much more than a single book. It signifies a gateway into a mathematical universe where computation has no end, where machines run forever, and where logic dictates the behavior of systems that never terminate.
Unlike finite strings, infinite words are sequences of symbols indexed by natural numbers. They model non-halting computations, continuous streams of data, and the behavior of reactive systems. The set of all infinite words over an alphabet Σ is denoted Σ^ω.