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: 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.
(6409 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.
(6478 views)
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.
(15777 views)
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...
(8513 views)