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: Tree Automata Techniques and ApplicationsTree Automata Techniques and Applications
by
This textbook presents the basics of tree automata, focusing on the operational aspects. It should appeal the reader who wants a simple presentation of the basics, and to see how some variations of tree automata provide a tool for difficult problems.
(14995 views)
Book cover: Automata Theory: An Algorithmic ApproachAutomata Theory: An Algorithmic Approach
by
These notes introduce the theory of finite- and omega-automata from an algorithmic point of view. They present automata as a data structure for sets that allows for efficient implementations of the basic set-theoretical operations.
(811 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.
(5787 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.
(5699 views)