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

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

(

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

(

**13071**views)

**Evolution of Parallel Cellular Machines: The Cellular Programming Approach**

by

**Moshe Sipper**-

**Springer**

Employing simple parallel cellular models, coupled with evolutionary computation techniques, this volume explores the issue of constructing man-made systems that exhibit characteristics such as those manifest by their natural counterparts.

(

**4602**views)

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

(

**7905**views)