|
Search: id:A054050
|
|
|
| A054050 |
|
Number of nonisomorphic binary n-state automata. |
|
+0
6
|
|
| 1, 10, 129, 2836, 83061, 3076386, 136647824, 7081061404, 419223006090, 27914819962058, 2064872379041701, 167986348586006675, 14906892578198245332, 1432903480780688968334, 148318150277923875087238
(list; graph; listen)
|
|
|
OFFSET
|
1,2
|
|
|
COMMENT
|
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: A002458 A079241 A007819 this_sequence A067313 A104130 A051607
Adjacent sequences: A054047 A054048 A054049 this_sequence A054051 A054052 A054053
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
Vladeta Jovovic (vladeta(AT)eunet.rs), Apr 29 2000
|
|
|
Search completed in 0.002 seconds
|
