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.
(4364 views)
Book cover: Automata and Rational ExpressionsAutomata and Rational Expressions
by - arXiv.org
From the table of contents: A new look at Kleene's theorem; Rationality and recognisability (Rational expressions); From automata to expressions; From expressions to automata; Changing the monoid; Introducing weights; Notes; References.
(961 views)
Book cover: Exploring Discrete DynamicsExploring Discrete Dynamics
by - Luniver Press
''Exploring Discrete Dynamics'' is a comprehensive guide to studying cellular automata and discrete dynamical networks with the classic software Discrete Dynamics Laboratory (DDLab), widely used in research and education ...
(2481 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...
(2820 views)