On the asymptotic enumeration of accessible automata
Élcio Lebensztayn · Discrete Mathematics & Theoretical Computer Science · 2010
Automata, Logic and Semantics We simplify the known formula for the asymptotic estimate of the number of deterministic and accessible automata with n states over a k-letter alphabet. The proof relies on the theory of Lagrange inversion applied in the context of generalized binomial series.