The OEIS is supported by the many generous donors to the OEIS Foundation.
%I #23 May 15 2026 17:14:15
%S 1,5,56,1275
%N GF(2)-rank of the set of 2-automatic sequences, taking values in {0,1}, generated by DFAOs of n states.
%C 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.
%K nonn,more
%O 1,2
%A _Jeffrey Shallit_, May 11 2026