**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

**Introduction to Quantum Cellular Automata**

by

**B. Aoun, M. Tarifi**-

**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.

(

**5162**views)

**Logic and Automata: History and Perspectives**

by

**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.

(

**1198**views)

**Tree Automata Techniques and Applications**

by

**H. Comon, M. Dauchet, R. Gilleron**

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.

(

**10325**views)

**Automata and Rational Expressions**

by

**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.

(

**1070**views)