Ejercicio 3 · Introducció als Computadors UPC 2012

A partir del circuito secuencial síncrono que se muestra a continuación, donde los biestables tipo D se inicializan a 0 (q₁ = 0, q₀ = 0), dibuja el grafo de estados completo indicando claramente la leyenda utilizada:

Solución: Grafo de estados (Máquina de Moore): - Leyenda: Nodos con el estado $E_i$ y su valor de salida asociado $w$ (formato $E_i / w$ o nodo con $w$). Aristas etiquetadas con el valor de la entrada $x$. - Estados: - $E_0$ ($q_1q_0 = 00$, $w = 1$): con $x = 0$ permanece en $E_0$; con $x = 1$ transita a $E_1$. - $E_1$ ($q_1q_0 = 01$, $w = 0$): con $x = 0$ vuelve a $E_0$; con $x = 1$ pasa a $E_2$. - $E_2$ ($q_1q_0 = 10$, $w = 0$): con $x = 0$ vuelve a $E_0$; con $x = 1$ pasa a $E_3$. - $E_3$ ($q_1q_0 = 11$, $w = 0$): con cualquier valor de $x$ ($0$ o $1$), regresa a $E_0$.