Página 56 - Coordinación de Servicios de Información

La función salida 0, es independiente del tipo de Flip-Flops, utilizados para el autómata, solo
dependen de los estados y de las variables x & y, o sea; de las variables de entrada del conjunto 1
y del conjunto S; de tal forma que ésta quede determinada de la siguiente forma:
0 = x'y'S, + x'ySo+ xy' S,
MÉTODOS DE REDUCCIÓN DE LAS TABLAS DE ESTADOS
Dos estados a & b , son notables, si al menos el circuito presenta una secuencia de salida
diferente para la misma secuencia de entrada dependiendo si A o B son los estados iniciales, y si
a & b no cumplen con lo anterior, entonces son estados redundantes.
Una tabla de estados puede contener estados redundantes. La eliminación de estos, produce
una tabla de estados más reducida, que simplifica el diseñó lógico del circuito, puesto que la red
de los Flip-Flops utilizados se simplifica.
- Método de la partición de cIases de equivalencia:
Dada una partición del conjunto S, se llama clase de equivalencia al conjunto de todos los
estados iguales; es decir, una clase de equivalencia, es un conjunto de estados en el cual todos
los estados son equivalentes. La unión de todas las clases de equivalencia es S.
Se ilustrará el método de partición en clases de equivalencia, para la reducción de estados
usando el ejemplo de la tabla de estados mostrada a continuación, donde a, b, c, d, e, f, g & h
representan a los minitérminos correspondientes a cada uno de los estados del sistema:
En esta tabla de estado, tenernos la partición Po; en la cual no se produce salida para una
secuencia de longitud 1 = O, de modo que todos los estados de la máquina son de equivalencia
cero.
página 2-14