Ejercicio 2 · Introducció als Computadors UPC 2013

Dado el siguiente circuito secuencial síncrono, cuyos biestables parten inicialmente del valor 0, dibujad el correspondiente grafo de estados incluyendo la leyenda empleada.

Solución: Grafo de estados de tipo Moore con 4 estados ($00$, $01$, $10$, $11$), indicando las salidas incondicionales $(c, d, e)$ en cada nodo y las transiciones dependientes de las entradas $(b, a)$: - Estado $00$ (doble círculo, inicial): salidas $c, d, e = 0, 1, 0$. Con $ba = 00$ transita a $10$; con $01, 10, 11$ (o $01, 1x$) permanece en $00$. - Estado $01$: salidas $c, d, e = 1, 1, 0$. Con $ba = 00$ transita a $00$; con $ba = 01$ transita a $11$; con $ba = 10, 11$ (o $1x$) permanece en $01$. - Estado $10$: salidas $c, d, e = 0, 1, 0$. Con $ba = 00$ transita a $01$; con $ba = 01$ transita a $11$; con $ba = 10, 11$ (o $1x$) transita a $00$. - Estado $11$: salidas $c, d, e = 1, 0, 1$. Con $ba = 00$ transita a $01$; con $ba = 01, 10$ permanece en $11$; con $ba = 11$ transita a $00$. Leyenda: círculos con estado $q_1, q_0$ arriba y salidas $c, d, e$ abajo; arcos etiquetados con las entradas $b, a$.