Exact generation of acyclic deterministic finite automata
Abstract
We give a canonical representation for trim acyclic deterministic finite automata (Adfa) with n states over an alphabet of k symbols. Using this normal form, we present a backtracking algorithm for the exact generation of Adfas. This algorithm is a non trivial adaptation of the algorithm for the exact generation of minimal acyclic deterministic finite automata, presented by Almeida et al.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2009
- DOI:
- 10.48550/arXiv.0908.3315
- arXiv:
- arXiv:0908.3315
- Bibcode:
- 2009arXiv0908.3315A
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory
- E-Print:
- DCFS'08