Topological dynamics and recognition of languages
Abstract
We define compact automata and show that every language has a unique minimal compact automaton. We also define recognition of languages by compact left semitopological monoids and construct the analogue of the syntactic monoid in this context. For rational languages this reduces to the usual theory of finite automata and finite monoids.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2013
- DOI:
- 10.48550/arXiv.1306.1468
- arXiv:
- arXiv:1306.1468
- Bibcode:
- 2013arXiv1306.1468S
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory;
- Mathematics - Combinatorics;
- Mathematics - Group Theory
- E-Print:
- This draft was written in March 2010 and was intended to be the beginning of a foundational paper on varieties of not necessarily rational languages and varieties of left compact semitopological semigroups, including an Eilenberg variety theorem and a Reiterman's theorem. Lacking sufficient applications to develop the full theory, I put here what has been worked out