|
| |
|
|
A054050
|
|
Number of nonisomorphic binary n-state automata.
|
|
5
| |
|
|
1, 10, 129, 2836, 83061, 3076386, 136647824, 7081061404, 419223006090, 27914819962058, 2064872379041701, 167986348586006675, 14906892578198245332, 1432903480780688968334, 148318150277923875087238
(list; graph; refs; listen; history; internal format)
|
|
|
|
OFFSET
| 1,2
|
|
|
COMMENTS
| Also isomorphism classes of ordered pairs of endofunctions i.e. an order pair (f,g) of functions from {1,...,n} to itself. - Christian G. Bower (bowerc(AT)usa.net), Dec 18 2003
|
|
|
REFERENCES
| M. A. Harrison, A census of finite automata, Canad. J. Math., 17, No. 1, 1965, p. 110.
F. Harary and E. Palmer, Graphical Enumeration, 1973.
|
|
|
FORMULA
| a(n) = sum {1*s_1+2*s_2+...=n} (fix A[s_1, s_2, ...]/(1^s_1*s_1!*2^s_2*s_2!*...)) where fix A[s_1, s_2, ...] = prod {i>=1} ( (sum {d|i} (d*s_d))^(2*i*s_i)) - Christian G. Bower (bowerc(AT)usa.net), Dec 18 2003
|
|
|
CROSSREFS
| Cf. A001372, A054745, A054051.
Sequence in context: A183538 A184678 A007819 * A067313 A104130 A051607
Adjacent sequences: A054047 A054048 A054049 * A054051 A054052 A054053
|
|
|
KEYWORD
| nonn
|
|
|
AUTHOR
| Vladeta Jovovic (vladeta(AT)eunet.rs), Apr 29 2000
|
| |
|
|
