Die Abbildung zeigt das Zustandsübergangsdiagramm für das Modul "Ampelsteuerung" aus dem Blockschaltbild der Ampel. Nach einem Reset startet der endliche Automat in dem Zustand, in dem die Hauptstraße grün hat. Nach Ablauf der Grünzeit, was durch das Signal Timeout signalisiert wird, wechselt die Ampel der Hauptstraße auf gelb. In Abhängigkeit von den Sensoren der Linksabbieger (LA) bzw. Fußgänger (FG) erfolgt der nächste Zustandsübergang. Wurde der Linksabbieger-Sensor ausgelöst, erfolgt jetzt die Linksabbiegerphase. Anschließend folgt die Grünphase der Nebenstraße, wobei die Länge dieser Phase vom Auslösen des Fußgängersensors abhängt. Danach erfolgt wieder der Wechsel in den Initialzustand.