Supongamos que si tenemos un contador que solo cuenta los números pares y los estados no utilizados (números impares) tratados como una condición de "no importa".
Current state Next State
A B C D A B C D
0 0 0 0 0 0 1 0
0 0 1 0 0 1 0 0
0 1 0 0 1 0 0 0
1 0 0 0 1 0 1 0
1 0 1 0 1 1 1 0
1 1 1 0 0 0 0 0
0 0 0 1 x x x x
0 0 1 1 x x x x
0 1 0 1 x x x x
0 1 1 1 x x x x
1 0 0 1 x x x x
1 0 1 1 x x x x
1 1 0 1 x x x x
1 1 1 1 x x x x
Arriba; Pongo todos los estados no utilizados al final.
¿Esto es una manera correcta? O debo ponerlos tan normalmente como es, como:
Current state Next State
A B C D A B C D
0 0 0 0 0 0 1 0
0 0 0 1 x x x x
0 0 1 0 0 1 0 0
........