Codificación de estados:
espero entrada->00.
error 1->01
error 2->10
error 3->11
Codificación de entradas, las entradas posibles son 00,01,10,11(b1b0).
Estando es esperando entrada:
* me viene 10, me quedo en esperando entrada, y salida=0.
* me viene 00,01,11, me voy a error 1 y salida=0.
Estando en error 1:
*me viene 10, me voy a esperando entrada y salida=0.
*me viene 00,01,11 me voy a error 2 y salida=0.
Estando en error 2:
*me viene 10, me voy a esperando entrada y salida=0.
*me viene 00,01,11 me voy a error 3 y salida=0.
Estando en error 3:
*me viene 10, me voy a esperando entrada y salida=0.
*me viene 00,01,11 me voy a esperando entrada y salida=1.
Asi ordene mi tabla:
Q1(n)Q0(n) b1 b0| Q1(n+1)Q0(n+1) |salida| J0 |K0.
No me da para escribir aca todos los numeritos, pero con la codificación que hice y el diagrama de estados correspondiente , te queda asi.
Porque estando en el estado 01 (Q1(n)Q0(n)), te moves para el 10 (Q1(n+1)Q0(n+1)), o el 00 (Q1(n+1)Q0(n+1)).
estando en el 11(Q1(n)Q0(n)), te moves siempre al 00(Q1(n+1)Q0(n+1)).
Y me surgio la duda en que hacia si se me presentaba esa situación, porque se me iban todas las variables.