Informatik zum Jahresanfang – noch eine Variation

[Matthias Apsel]

Hallo Gunnar Bittersmann,

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

es gilt also δ(α, σ) = δ(β, σ) für alle Symbole σ ∈ Σ.

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

Der Automat könnte sich aber trotzdem reduzieren lassen. Schließlich hat er noch andere Zustände.

Bis demnächst
Matthias