Modulo-six counter
= Modulo-six counter
{title2=$q^+=(q+1)\bmod6$}
A <digital counter> cycling through six stored values. With ordinary <binary representation>, the valid three-<bit> states are $000,001,010,011,100,101$. The unused encodings require either an initialization assumption or specified recovery transitions.