Abstract | ||
---|---|---|
We give a canonical representation for minimal acyclic deterministic finite automata (MADFA) with n states over an alphabet of k symbols. Using this normal form, we present a method for the exact generation of MADFAs. This method avoids a rejection phase that would be needed if a generation algorithm for a larger class of objects that contains the MADFAs were used. We give upper and lower bounds for MADFAs enumeration and some exact formulas for small values of n. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1142/S0129054108005930 | INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
Keywords | DocType | Volume |
acyclic deterministic finite automata, minimal automata, finite languages, generation, enumeration | Conference | 19 |
Issue | ISSN | Citations |
4 | 0129-0541 | 3 |
PageRank | References | Authors |
0.45 | 5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marco Almeida | 1 | 31 | 3.99 |
Nelma Moreira | 2 | 180 | 33.98 |
Rogério Reis | 3 | 140 | 25.74 |