A Congruence-based Perspective on Automata Minimization Algorithms
Abstract
In this work we use a framework of finite-state automata constructions based on equivalences over words to provide new insights on the relation between well-known methods for computing the minimal deterministic automaton of a language.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2019
- DOI:
- 10.48550/arXiv.1906.06194
- arXiv:
- arXiv:1906.06194
- Bibcode:
- 2019arXiv190606194G
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory
- E-Print:
- 22 pages, 2 figures, accepted at MFCS 2019