Existem vários tipos de contadores para a implementação de um circuito baseado em lógica digital. Em particular, para um contador do tipo BCD, contando de forma crescente, o próximo estado ao estado 1001, representado na notação binária, é