Logo

Notes on Automata, Logics, Games and Algebra

Notes on Automata, Logics, Games and Algebra
by

Publisher: Chennai Mathematical Institute

Description:
Contents: Regular Languages and Monoids; Languages via Logical Formulae; MSO to Regular Languages; EF Games and First-order Definability; Schutzenberger's Theorem; Alternating Automata; Buchi Automata; Buchi Games over Infinite Graphs; Complementation via Alternating Automata; Safra's Determinization Construction; From Streett Automata to Rabin Automata and Back; etc.

Home page url

Download or read it online for free here:
Download link
(multiple PDF files)

Similar books

Book cover: Introduction to Quantum Cellular AutomataIntroduction to Quantum Cellular Automata
by - arXiv
In this text the authors attempt to provide a useful introduction to quantum cellular automata from a computing perspective. For clarity and accessibility they provide a brief overview of both quantum computing and classical cellular automata.
(5759 views)
Book cover: Cellular AutomataCellular Automata
- Wikibooks
This book aims to become a graduate to postgraduate level schoolbook on cellular automata. The book is divided into two parts, covering formalization, well known algorithms, accepted elegant proofs, FAQ, examples, web resources, etc...
(3519 views)
Book cover: Cellular Automata: Simplicity Behind ComplexityCellular Automata: Simplicity Behind Complexity
by - InTech
Cellular automata make up a class of discrete dynamical systems, which are a core subject in the sciences of complexity due to their conceptual simplicity, easiness of implementation for computer simulation, and their amazingly complex behavior.
(6448 views)
Book cover: Mathematical Foundations of Automata TheoryMathematical Foundations of Automata Theory
by
Contents: Algebraic preliminaries; Semigroups and beyond; Languages and automata; Recognizable and rational sets; Green's relations and local theory; Profinite words; Varieties; Equations and languages; Algebraic characterisations; etc.
(5218 views)