0 Daumen
1,4k Aufrufe

Ich versuche gerade folgenden Automaten durch die Table-Filling-Methode zu minimieren.

dea.jpg

Zuerst streicht man nicht zu erreichende Zustände: in diesem fall q1, allerdings ist der Startzustand auch nicht zu erreichen, wie geht man damit um? auch streichen und q3,q6 zu startzuständen machen?

Avatar von

Ich kenne kein explizietes Verfahren, aber vielleicht probierst du aus, den DEA in eine RegEx umzuwandeln und dann wieder in einen DEA.

Startzustand bleibt, q1 wird gestrichen.

Dann siehst du schon, dass du einige Zustände streichen kannst.

1 Antwort

+1 Daumen
 
Beste Antwort

Der Startzustand wird am Anfang der Berechnung erreicht, noch bevor das erste Zeichen gelesen wird.

Wenn du {q3,q6} zum Startzustand machst, dann kannst du nicht unterscheiden, ob du bereits ein a oder ein b gelesen hast. Außerdem widerspricht "bereits ... gelesen hast" dem, was ein Startzustand leisten soll.

Avatar von 5,7 k

Ein anderes Problem?

Stell deine Frage

Ähnliche Fragen

1 Antwort
Gefragt 12 Feb 2019 von GiantDouche
1 Antwort
Gefragt 27 Sep 2022 von tisimev890

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community