The Community for Technology Leaders
2013 IEEE 54th Annual Symposium on Foundations of Computer Science (1964)
Nov. 11, 1964 to Nov. 13, 1964
pp: 44-46
ABSTRACT
Closed form expressions are obtained for enumerating the non-equivalent finite automata under serveral definitions of equivalence. Algorithms are presented for determining the number of connected automata and automata with a distinguished initial state. Useful lower bounds and asymptotic results are obtained.
INDEX TERMS
CITATION
Michael A. Harrison, "A census finite automata", 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, vol. 00, no. , pp. 44-46, 1964, doi:10.1109/SWCT.1964.1
108 ms
(Ver )