Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
-- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
--- DFA in NFA umwandeln (http://www.informatikerboard.de/board/thread.php?threadid=377)
Geschrieben von donvito am 24.02.2008 um 13:09:
DFA in NFA umwandeln
Wie wandle ich einen NFA in einen DFA um? Erstmal ohne Epsilon-Übergänge.
Zustände sind die Potenzmenge, das ist klar. Startzustand bleibt gleich und auch die akzeptierten Zustände sind klar. Nur: Wie bekomme ich die Übergänge?
Geschrieben von kiste am 24.02.2008 um 13:41:
Es wird in die Vereinigung jener Zustände über gegangen in der die einzelnen Zustände übergingen.
z.B.
z0 geht mit a über in z0 und z3
z1 geht mit a über in z0, z2, z3
dann geht {z0,z1} mit a über in {z0,z2,z3}
Geschrieben von donvito am 24.02.2008 um 14:44:
und welche Übergänge hat der DFA von z0 und z1?
Geschrieben von kiste am 24.02.2008 um 21:26:
Ich verstehe deine Frage nicht ganz. Wie wärs wenn du einmal ein komplettes Beispiel angibst das du nicht verstehst
Geschrieben von donvito am 24.02.2008 um 21:36:
Also, wenn iich hier folgenden NFA habe
Q = {1, 2, 3}
q_0 = [1}
F= {3} und
Delta = (1, a) = 2
(2, b) = 3
(2, a) = 3
Wie sieht das dann also DFA aus?
Q' = Potenzmenge von Q, also insgesamt 7 Zustände
F' = alle Zustände, die einen akzeptierten "enthalten", q_0' = q_0
Und wie mache ich jetzt die Übergänge?
Geschrieben von kiste am 24.02.2008 um 22:15:
komisches Beispiel
In deinem Beispiel ist der Automat doch schon ein DFA, also wird der konstruierte DFA gleich dem gegebenen Automaten sein
Geschrieben von donvito am 24.02.2008 um 22:47:
Ups! Da werde ich wohl nicht mehr ganz bei der Sache gewesen sein!
Forensoftware: Burning Board, entwickelt von WoltLab GmbH