A395072 - OEIS

A395072

GF(2)-rank of the set of 2-automatic sequences, taking values in {0,1}, generated by DFAOs of n states.

1, 5, 56, 1275

(list; graph; refs; listen; history; text; internal format)

OFFSET

1,2

COMMENTS

A 2-automatic sequence is generated by a DFAO (deterministic finite automaton with output) as follows: the input is an integer represented in base 2, and the automaton transits from state to state until the input is completely processed; the output is the value of the output function on the last state reached. We require that the automaton have a self-loop on input 0 from the first state to itself, so that leading zeros do not affect the result.

LINKS

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

CROSSREFS

Sequence in context: A203522 A180874 A336243 * A356134 A363059 A163793

Adjacent sequences: A395069 A395070 A395071 * A395074 A395075 A395077

KEYWORD

nonn,more,new

AUTHOR

Jeffrey Shallit, May 11 2026

STATUS

approved