Assertion: sequence's term | /r/CapableOf | count the number of ones
Facets:
Source sentences:
text: Since the n-th term of the Thue–Morse sequence counts the number of ones modulo 2 in the base-2 representation of n, it is generated by the two-state deterministic finite automaton with output pictured here, where being in state q 0