A054051 Number of nonisomorphic connected binary n-state automata.

1, 9, 119, 2662, 79154, 2962062, 132536919, 6904606698, 410379198542, 27406396140548, 2031843175944876, 165592123280454675, 14715292998356150461, 1416127682894394114138, 146723247630856311651736, 16284075762705841850155071, 1927434528878738556115924081, 242361176791511465207020367116

Offset

1,2

Comments

Inverse Euler transform of A054050.

References

F. Harary and E. Palmer, Graphical Enumeration, 1973. [See Section 6.5, pp. 146-150.]

Links

Table of n, a(n) for n=1..18.

Christian G. Bower, PARI programs for transforms, 2007.

Michael A. Harrison, A census of finite automata, Canad. J. Math., 17, No. 1 (1965), 100-113. [See Theorem 6.1 (p. 107) with k = 2 and p = 1 and Theorem 7.2 (p. 110). See also Table I on p. 110.]

N. J. A. Sloane, Maple programs for transforms, 2001-2020.

Prog

(PARI) /* This program is a modification of Christian G. Bower's PARI program for the inverse Euler transform from the link above. */
lista(nn) = {local(A=vector(nn+1)); for(n=1, nn+1, A[n]=if(n==1, 1, A054050(n-1))); local(B=vector(#A-1, n, 1/n), C); A[1] = 1; C = log(Ser(A)); A=vecextract(A, "2.."); for(i=1, #A, A[i] = polcoeff(C, i)); A = dirdiv(A, B); } \\ Petros Hadjicostas, Mar 08 2021

Crossrefs

Cf. A054050, A054745, A054746.

Sequence in context: A234964 A210046 A130652 * A159660 A061172 A167593

Adjacent sequences: A054048 A054049 A054050 * A054052 A054053 A054054

Keyword

nonn

Author

Vladeta Jovovic, Apr 29 2000

Extensions

Terms a(16)-a(18) from Petros Hadjicostas, Mar 08 2021

Status

approved