Um circuito sequencial clocked com n flip-flops pode representar no máximo 2n estados distintos, porque cada flip-flop armazena um bit (0 ou 1).
Cálculo
Para n = 6:
2⁶ = 64 estados
Contexto
- Este é o máximo teórico; diagrama estados real pode usar menos estados (códigos não usados tornam-se "don't-care" ou estados travados).
- Codificação estado (binário, Gray, one-hot) afeta complexidade lógica mas não contagem total.
- Com 6 flip-flops, contador binário cicla através todos 64 estados; FSM one-hot usa apenas 6 estados (um flip-flop ativo por vez).
Portanto, limite superior é 64 estados únicos.
