Circuitos Digitales I Reduccin de estados

Sesin 20

Reduccin de estados utilizando tabla de implicacin

Construir un diagrama el cual tiene una celda para cada par de estados. Se utiliza para comprobar cada par de estados en busca de una posible equivalencia. Los pares no equivalentes se van eliminando sistemticamente, hasta que solo quedan los pares equivalentes.

Cada celda para un par de estados

Ejemplo

Se marca una X donde no exista equivalencia entre un par de estados debido a la diferencia en la salida

Ejemplo:
Si uno de los pares implicados en la celda i-j no es equivalente, entonces i j

La celda a-b contiene 2 pares implicados d-f y c-h. Puesto que d f (la celda d-f tiene una X), entonces a y b no son equivalentes, y se marca con X. Despues de la Primera pasada

Ejemplo:
Al realizar la primera pasada se encuentran varios pares no equivalentes adicionales. Por lo tanto se debe recorrer otra vez el diagrama para ver si las X agregadas en el paso anterior, generan un nuevo par de estados no equivalentes

Ejemplo:
Despus de la Segunda pasada

Puesto que la celda a-d (columna a, fila d), no contiene una X, se concluye que a d

De igual forma la celda c-e (columna c, fila e), no contiene X, luego son equivalentes

Resultado:

Mtodo de la tabla de implicacin

1. Construya un diagrama por cada par de estados. 2. Compare cada par de filas de la tabla de estados. Si las salidas asociadas con la tabla de estados i y j son diferentes, coloque un a X en la celda i-j para indicar i j 3. Si las salidas son iguales coloque los pares implicados en la celda i-j. Es decir si los estados siguientes de i y j son m y n para alguna entrada x, entonces m y n es un par implicado. 4. Recorra la tabla celda por celda. Si la tabla i-j contiene el par implicado m-n y la celda m-n contiene una X, entonces i j y debe colocarse una X en la celda i-j. 5. Si ha agregado alguna X en el paso 3, repita el paso 3 hasta que no se agreguen ms X. 6. Para cada celda i-j, que no contenga una X, i j