Modulo-six counter ($q^{+}=(q+1)\mathrm{mod}6$)

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.