**Logic and Automata: History and Perspectives**

by Jorg Flum (ed)

**Publisher**: Amsterdam University Press 2007**ISBN/ASIN**: 9053565760**ISBN-13**: 9789053565766**Number of pages**: 737

**Description**:

Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. This volume covers many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field.

Download or read it online for free here:

**Download link**

(5.4MB, PDF)

## Similar books

**Mathematical Foundations of Automata Theory**

by

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

(

**5147**views)

**Notes on Automata, Logics, Games and Algebra**

by

**K Narayan Kumar**-

**Chennai Mathematical Institute**

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; etc.

(

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

(

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

(

**5704**views)