Notes on Automata, Logics, Games and Algebra
by K Narayan Kumar
Publisher: Chennai Mathematical Institute 2007
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.
Download or read it online for free here:
Download link
(multiple PDF files)
Similar books
Mathematical Foundations of Automata Theoryby Jean-Eric Pin
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.
(9220 views)
Cellular 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...
(7226 views)
Logic and Automata: History and Perspectivesby Jorg Flum (ed) - 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.
(5247 views)
Automata and Rational Expressionsby Jacques Sakarovitch - 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.
(5337 views)