Logo

Mathematical Foundations of Automata Theory

Small book cover: Mathematical Foundations of Automata Theory

Mathematical Foundations of Automata Theory
by


Number of pages: 310

Description:
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; Star-free languages; Piecewise testable languages; Polynomial closure; Relational morphisms; Unambiguous star-free languages; Wreath product; Sequential functions; An excursion into logic.

Download or read it online for free here:
Download link
(1.9MB, PDF)

Similar books

Book cover: Cellular AutomataCellular 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...
(3234 views)
Book cover: Cellular Automata: Simplicity Behind ComplexityCellular Automata: Simplicity Behind Complexity
by - InTech
Cellular automata make up a class of discrete dynamical systems, which are a core subject in the sciences of complexity due to their conceptual simplicity, easiness of implementation for computer simulation, and their amazingly complex behavior.
(6123 views)
Book cover: Evolution of Parallel Cellular Machines: The Cellular Programming ApproachEvolution of Parallel Cellular Machines: The Cellular Programming Approach
by - 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.
(2442 views)
Book cover: Notes on Automata, Logics, Games and AlgebraNotes on Automata, Logics, Games and Algebra
by - 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.
(5066 views)