Estoy familiarizado con las máquinas de estados finitos cuando hay dos estados posibles para la entrada, a los que llamaré w. Es decir, w = 1 o w = 0 . Sin embargo, ¿qué pasa con la situación en la que w puede ser igual a A, B, or C ? En esta situación, creo que tendría que representar la entrada con dos bits, como A = 00 , B = 01 y C = 11 .
Por ejemplo, supongamos que tengo que detectar la secuencia ABCB (usando una máquina Moore). A continuación se muestra una imagen del diagrama de estado, la tabla de estado y la tabla de asignación de estado:
Aquí, represento el estado actual con tres bits, y el siguiente estado con tres bits. Normalmente, no tengo problemas para encontrar las expresiones lógicas requeridas usando los mapas de Karnaugh dado que w = 1 or 0 . Sin embargo, aquí w = A, B, or C . Suponiendo que permito que A = 00 , B = 01 y C = 11 , ¿cómo derivaría las expresiones lógicas apropiadas?
Mi inclinación es resolver un Mapa de Karnaugh de 5 variables para cada flip-flop de Next State (es decir, Y2, Y1, Y0 ). Por ejemplo, Y2 es una función de y1, y2, y3, and w que se puede encontrar usando un Mapa de Karnaugh.
¿Estoy yendo en la dirección correcta con mi razonamiento aquí? Cualquier entrada constructiva es apreciada.
Nota: Esto está relacionado con una asignación mía, pero este no es el patrón que estoy tratando de detectar.
Edit: Ahora que lo pensé un poco más, parece que realmente tengo 5 bits para trabajar con respecto al Mapa de Karnaugh, que técnicamente tiene cuatro variables porque yn representa 1 bit y w representan dos bits.