Informatik zum Jahresanfang – noch eine Variation

[Gunnar Bittersmann]

@@Matthias Apsel

Hier sieht man auch schön, wann sich ein Automat nicht reduzieren lässt:

Vom Zustand α links oben (nennen wir ihn „Beteigeuze“) kommt man mit , zum Zustand δ rechts im Gürtel (nennen wir ihn „Mintaka“) und mit − sowie mit 0 bis 9 in den Nebel (aus dem es kein Entkommen mehr gibt).

Vom Zustand β rechts unten (nennen wir ihn „Rigel“) ebenso; es gilt also δ(α, σ) = δ(β, σ) für alle Symbole σ ∈ Σ.

Dennoch kann man die Zustände α und β nicht zu einem zusammenfassen, weil α ein Endzustand ist, β aber nicht.

LLAP 🖖

PS: Ein roter Riese soll ein Endzustand sein? – Da lachen ja die Hühner, äh die Sterngucker.