Folien

2.83 Überlegung (2)
◮ Erinnerung: L = {0 k 1 k | k ∈ N} ist nicht regulär.
◮ Jeder hypothetische DEA kann zwei Eingaben w1 = 0m und
w2 = 0m−ℓ nicht unterscheiden,
◮ aber durch Anhängen von w = 1m erhält man
◮ einerseits ein Wort w1w ∈ L und
◮ andererseits ein Wort w2w /∈ L.
◮ Diese Katastrophe ist nur so zu vermeiden:
◮ Wenn es zu w1 und w2 ein w gibt, so dass
w1w ∈ L und w2w /∈ L ist,
◮ dann muss ein DEA, der L erkennt, w1 und w2 unterscheiden,
◮ nämlich dadurch, dass f ∗ (z0, w1) = f ∗ (z0, w2) ist.
Zustandsminimierung endlicher Automaten 108/124