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: 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.
(5066 views)
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.
(5624 views)
Book cover: Logic and Automata: History and PerspectivesLogic and Automata: History and Perspectives
by - Amsterdam University Press
Mathematical logic and automata theory are two disciplines with a fundamentally close relationship. This book covers many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, etc.
(1748 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.
(6309 views)