Me pregunto qué tipo de tabla es esa, ¿es tal vez una tabla de estado? No estoy seguro de lo que significan \ $ q_1 \ $ y \ $ q_2 \ $. No se parecen a las funciones del siguiente estado, ya que se indican como \ $ q ^ + \ $ en mi libro.
Esto se parece a los bits de estado asignados para cada estado si se implementa en una máquina de estado secuencial digital. En este caso, se trata de un modelo de Mealy, ya que las salidas especificadas en los arcos dependen del estado actual y de la entrada actual.
\ $ q_x \ $ es a menudo el nombre de una salida. Normalmente, la salida de puertas o bloques de circuitos más complejos.
Aquí, la combinación de las variables \ $ q_1 \ $ y \ $ q_2 \ $ y el estado es bijunctive, por lo que de alguna manera son equivalentes al estado en sí. El estado parece estar alterado por diferentes valores de entrada de un circuito o compuerta, como lo muestra la notación \ $ X / Y \ $ en las ramas del diagrama.
Lea otras preguntas en las etiquetas state-machines