Tablas de Estados

Una tabla de estado es un listado que contiene la secuencia de los estados de entradas, estados internos y salidas del sistema, considerando todas las posibles combinaciones de estados actuales y entradas. Las tablas de estado por lo general se dividen en tres partes:

1- Estados actuales.
2- Estados siguientes.
3- Salida.

Estado Actual	Estado Siguiente		Salida
	X=0	X=1	X=0	X=1
AB	AB	AB	Y	Y
00	00	01	0	0
01	00	11	1	0
10	00	10	1	0
11	00	10	1	0

se puede observar lo siguiente: Cuando la variable X=0 los estados actuales A y B cambian a 0 después de la transición de reloj , y cuando X=1, los estados de las salidas se comportan tal como se resume en la tabla. Se plantea como ejercicio verificar la información de la tabla.