Ayuda para construir un circuito lógico digital (a partir de la tabla de verdad y el diagrama de estado)

Estoy un poco atascado y necesito ayuda desesperadamente. Me enfrento al Problema del Semáforo, y entiendo completamente la lógica real del mismo. Sin embargo, tengo grandes dificultades para convertir esto en lógica digital. He pensado en el diagrama de estado. Mi mayor problema que no puedo entender es que el Estado está representado por un número binario de dos bits. Entonces, al construir mi circuito, ¿cómo "creo" este número de dos bits usando puertas y qué no?

Esta es mi tabla de verdad simplificada para el problema. 4 estados: nueva luz roja (00), luz roja existente (01), nueva luz verde (10) y luz verde existente (11) [la luz amarilla se ignora en mi versión del problema].

Reduced Truth Table
State Input  new State
  00    00     10    
  00    *1     10
  00    10     01

  01    00     10
  01    *1     10
  01    10     01

  10    **     11

  11    0*     11
  11    1*     00

Ahora, entiendo cómo diseñar con fuerza bruta la salida de cada estado+entrada para obtener cada estado nuevo. Simplemente estoy teniendo un momento muy difícil para unirlo todo. Tengo todo mi diagrama de estado dibujado y entiendo cuándo debe ocurrir la transición, es la lógica digital con la que tengo problemas.

Todavía tengo muchos problemas con los multiplexores, aunque sé que podrían usarse en este esquema que dibujé a continuación (porque he creado un diseño de fuerza bruta del Estado en lugar de las entradas)

^{simular este circuito : esquema creado con CircuitLab}

Tengo otro esquema mucho más complicado que incluye tanto el Estado como las Entradas, pero no estoy seguro de si es correcto o cómo usarlo más (es decir, conectarse al flip flop y crear una salida del color del semáforo) [NOTA : LA SALIDA ES INCORRECTA, la salida de la primera puerta OR debe ser S0 y la salida de la segunda puerta OR debe ser S1] [ ] 1