Hilfe beim Aufbau einer digitalen Logikschaltung (aus Wahrheitstabelle und Zustandsdiagramm)

Ich stecke etwas fest und brauche dringend Hilfe. Ich stehe vor dem Ampelproblem und verstehe die eigentliche Logik vollkommen. Ich habe jedoch große Schwierigkeiten, dies in digitale Logik umzusetzen. Ich habe das Zustandsdiagramm durchdacht. Mein größtes Problem, um das ich mich nicht kümmern kann, ist, dass der Staat durch eine Zwei-Bit-Binärzahl dargestellt wird. Wie "erzeuge" ich also beim Aufbau meiner Schaltung diese Zwei-Bit-Zahl mit Gattern und was nicht?

Dies ist meine vereinfachte Wahrheitstabelle für das Problem. 4 Zustände: neues rotes Licht (00), vorhandenes rotes Licht (01), neues grünes Licht (10) und vorhandenes grünes Licht (11) [das gelbe Licht wird in meiner Version des Problems ignoriert].

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

Jetzt weiß ich, wie ich die Ausgabe jedes Zustands und jeder Eingabe brutal erzwingen kann, um jeden neuen Zustand zu erhalten. Es fällt mir nur sehr schwer, das alles unter einen Hut zu bringen. Ich habe mein Zustandsdiagramm vollständig gezeichnet und erfahre, wann der Übergang stattfinden muss, es ist die digitale Logik, mit der ich Probleme habe

Ich habe immer noch große Probleme mit Multiplexern, obwohl ich weiß, dass sie in diesem Schema, das ich unten gezeichnet habe, verwendbar wären (weil ich ein Brute-Force-Design aus dem Zustand und nicht aus den Eingängen erstellt habe).

^{Simulieren Sie diese Schaltung – Mit CircuitLab erstellter Schaltplan}

Ich habe ein weiteres viel komplizierteres Schema, das sowohl den Zustand als auch die Eingänge enthält, aber ich bin mir nicht sicher, ob es richtig ist oder wie es weiter verwendet werden soll (dh eine Verbindung zum Flip-Flop herstellen und eine Ausgabe der Ampelfarbe erstellen) [HINWEIS : DER AUSGANG IST FALSCH, der Ausgang des ersten ODER-Gatters sollte S0 sein und der Ausgang des zweiten ODER-Gatters sollte S1] [ ] 1 sein