17/6/22, 11:23 6.

3 Tabla de transición de estados | Introducción a la Automatización Industrial

6.3 Tabla de transición de estados

Las máquinas de estados de sistemas secuenciales también se pueden representar mediante

una tabla en la que, a diferencia de la tabla de verdad de los sistemas combinacionales, se
muestran no solo las funciones de salida sino también las funciones de transición de estado (el
cuarto elemento de la 5-tupla, δ).

En las máquinas de Moore en las que la salida depende de un único estado, algo frecuente en
los sistemas de control automático, las filas de la tabla de transición representan estados y las
columnas entradas y salidas (un ejemplo aparece en la Tabla 6.2).

Tabla 6.2: Tabla de transición de estados de Moore

m \ x1x2 00 01 11 10 Salida

m00 m00 m01 m10 m01 0

m01 m00 m01 m10 m01 1

m10 m01 m10 m11 m10 0

m11 m01 m10 m11 m10 1

En una máquina de Mealy se representan estados (filas) frente a entradas (columnas). Los
valores de las salidas, puesto que dependen del estado, aparecen en cada celda, tal y como se
muestra a modo de ejemplo en la Tabla 6.3.

Tabla 6.3: Tabla de transición de estados de Mealy

m \ x1x2 00 01 11 10

m0 m0,0 m0,1 m1,0 m0,1

m1 m0,1 m1,0 m1,1 m1,0

Cada fila de la tabla representa el estado activo en un instante determinado k. En cada celda
puede leerse el conjunto de estados que se activarían para la combinación de entradas de la
columna correspondiente de la celda en el instante k+1. Los valores de las salidas en una celda

https://bookdown.org/alberto_brunete/intro_automatica/Tabladetransiciondeestado.html#ecuaciones-de-activación-y-retención-a-partir-de-la-tabla-de-t… 1/4
17/6/22, 11:23 6.3 Tabla de transición de estados | Introducción a la Automatización Industrial

se corresponden con la combinacion de estado/entradas de la fila/columna. Observe que no

dependen de los estados futuros en la misma celda.

Un posible inconveniente que puede darse en la máquina de Mealy es el siguiente. Partiendo de

la Tabla 6.3, supongamos que estamos en el estado m0 y las entradas son “11”. Según la tabla
se debería pasar al estado m1 y la salida debería pasar a ser ‘0’. Sin embargo, podría ocurrir que
al pasar al estado m1, las entradas continuaran siendo “11”, y por tanto la salida debería pasar a
ser ‘1’. Si la transición es muy rápida, podría incluso ocurrir que la salida pasara a ser ‘1’ sin
pasar por ‘0’. Esta es una de las razones por las que se emplean diseños basados en máquinas
de Moore en automatismos.

6.3.1 Simplificación de estados equivalentes

Dos estados son equivalentes cuando para cualquier secuencia de entradas la máquina
evoluciona de la misma manera:

Pasa por los mismos estados

Presenta la misma salida en todo momento

En la tabla de transición de estados, la caracterización de estados equivalentes se corresponde

con
aquellas filas que presentan los mismos valores en todas las celdas. Todos aquellos estados
equivalentes pueden simplificarse en uno solo.

Por ejemplo, en la Tabla 6.4, se puede simplificar la fila 2 y la 3, fusionando m1 con m2 (y

dejando, por ejemplo, m1):

Tabla 6.4: Ejemplo de tabla de estados equivalentes

m \ x1x2 00 01 11 10

m0 m0,0 m0,1 m1,0 m2,1

m1 m0,1 m1,0 m1,1 m1,0

m2 m0,1 m1,0 m1,1 m1,0

En el ejemplo, si se elimina el estado m2, habría que modificar el resto de filas en las que
apareciera m2 y cambiarlo por m1. Por tanto la Tabla 6.4 se transformaría en la Tabla 6.5:

https://bookdown.org/alberto_brunete/intro_automatica/Tabladetransiciondeestado.html#ecuaciones-de-activación-y-retención-a-partir-de-la-tabla-de-t… 2/4
17/6/22, 11:23 6.3 Tabla de transición de estados | Introducción a la Automatización Industrial

Tabla 6.5: Ejemplo de tabla de estados equivalentes simplificada

m \ x1x2 00 01 11 10

m0 m0,0 m0,1 m1,0 m1,1

m1 m0,1 m1,0 m1,1 m1,0

6.3.2 Ecuaciones de activación y retención a partir de la

tabla de transición de estados

A partir de la tabla de transición podemos obtener las ecuaciones simplificadas de activación y

retención y salida para cada uno de los estados construyendo las correspondientes tablas de
Karnaugh, pues dichas ecuaciones representan subsistemas combinacionales. Por ejemplo,
consideremos la tabla de transición de estados de la máquina de Moore dada por la Tabla 6.2.
Para calcular las ecuación de activación de m10 se consideran los valores de las filas de los
estados desde los que se llega a m10, es decir m00 (con entradas “11”), m01 (con entradas “11”)
y m11 (con entradas “01” y “10”).

La tabla de Karnaugh para la activación del estado m10 desde m11 puede verse en la Fig. 6.8.

Figura 6.8: Tabla de Karnaugh

En este caso no se puede simplificar y obtendríamos la ecuación:

¯¯
¯¯¯ ¯¯
¯¯¯
m10 = m11 ⋅ (x1 x2 + x1 x2 )

Simplificando vía Karnaugh la activación del estado m10 a partir del resto de estados (m00 y m01)
se obtiene la ecuación completa de activación del estado m10:

¯¯
¯¯¯ ¯¯
¯¯¯
m10 = m00 ⋅ x1 x2 + m01 ⋅ x1 x2 + m11 ⋅ (x1 x2 + x1 x2 )

https://bookdown.org/alberto_brunete/intro_automatica/Tabladetransiciondeestado.html#ecuaciones-de-activación-y-retención-a-partir-de-la-tabla-de-t… 3/4
17/6/22, 11:23 6.3 Tabla de transición de estados | Introducción a la Automatización Industrial

https://bookdown.org/alberto_brunete/intro_automatica/Tabladetransiciondeestado.html#ecuaciones-de-activación-y-retención-a-partir-de-la-tabla-de-t… 4/4