¿Tabla de salida equivalente al diagrama de estado?

Tengo el siguiente diagrama de estado para el que se supone que debo construir una tabla de salida. Tengo la respuesta, pero no entiendo cómo derivaron esta tabla de salida. Si alguien pudiera explicarme una de las líneas de la tabla, solo para aclararla, ¡sería genial!

Aquí está la pregunta:

Construya una tabla de estado y salida equivalente al siguiente diagrama de estado. Tenga en cuenta que el diagrama se dibuja con la convención de que el estado no cambia excepto por las condiciones de entrada que se muestran explícitamente:

ingrese la descripción de la imagen aquí

Aquí está la tabla:

ingrese la descripción de la imagen aquí

Un ejemplo para mí es: Para la fila B, ¿por qué son las transiciones B,B,B,D,D? ¿Y la salida Z1=1, Z2 = 0?

Otro ejemplo de pregunta para mí es, para S = C, el diagrama muestra la transición al estado de G, que es 10, ¿por qué entonces G no se completa con 10 en la tabla?

¿Estás seguro de que esa tabla es para ese diagrama? El número de estados y salidas difieren.
@IgnacioVazquez-Abrams vaya diagrama de estado incorrecto, ¡aquí está el correcto!
¿Por qué la figura tiene una marca de agua "NO COPIAR"? ¿Cuál es la fuente de esta imagen?
@JoeHass Es de chegg.com, ni siquiera lo noté hasta que dijiste eso

Respuestas (1)

La columna más a la izquierda, S, es el estado actual. Las siguientes cuatro columnas son para indicar en qué estado se encontraría si las entradas x e y fueran 00, 01, 10 u 11, respectivamente. Las dos columnas de la derecha son los valores de las salidas z1 y z2 para cualquier estado actual.

Mire el diagrama y vea que z1 y z2 en el diagrama coinciden con lo que z1 y z2 están en la tabla para cualquier estado dado.

Cuando está en el estado B, solo puede hacer la transición a otro estado, D, y solo si la entrada x es un 1. Eso es lo que significa la x junto a la flecha que va de B a D en el diagrama. Si decía x', eso significa que la transición de B a D ocurre solo cuando x es un 0. La variable y no importa cuando se pasa del estado B al estado D.

Por eso las dos primeras columnas xy son B y las dos segundas son D.

Observe las transiciones del Estado A al Estado E y del Estado C al Estado G. La condición de entrada xy en ambas transiciones es cuando x es 0 Y y es 1. La función booleana es "no x Y y".

Si aún no conoce el álgebra booleana, ese es un requisito previo antes de abordar diagramas y tablas de transición de estado más complejos.

¡muchas gracias! Estoy en una clase de codificación vhdl y estamos haciendo máquinas de estado en este momento, simplemente nunca había visto un diagrama de estado como este hasta hoy, ¡pero su explicación lo aclaró!