Hola! Con respecto al laboratorio del día jueves tenemos una consulta en la parte b.
Cuando pasamos del diagrama de estados a la tabla de estados, hay combinaciones de entradas que no te dan un sig estado válido o una salida válida. Por ejemplo cuando F0h y Num_ok son iguales (la letra nos dice que por construcción no pueden valer lo mismo) nos queda una columna en la tabla que no tendría sentido. Otro caso que nos genera dudas es si cuando estas en el estado inicial y F0h vale cero, no te importaría cuanto vale Rdy, pero a la hora de llevarlo a la práctica nunca ocurre que F0h valga cero y Rdy valga 1 (en el estado inicial). Como podríamos entonces representar estos casos en la tabla de estados y en los mapas K?