Informatiker Board | Druckvorschau: DEA aufstellen

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)
---- Automatentheorie (http://www.informatikerboard.de/board/board.php?boardid=13)
----- DEA aufstellen (http://www.informatikerboard.de/board/thread.php?threadid=3020)

Geschrieben von Xyarvius am 10.05.2016 um 22:12:

DEA aufstellen

Meine Frage:
Gegeben ist die Sprache [latex]L=A^*0A^2[/latex]

über dem Alphabet $[latex]A=\{0,1\}[/latex]$ . Geben sie einen DEA für L an.

Meine Ideen:
Ok, das ist wie ich finde eine sehr interessante Aufgabe, aber ich bin noch nicht auf die Lösung gekommen.
Ein NEA für die Sprache ist kein Problem, aber egal wie ichs bei dem DEA drehe und wende, entweder will ich es zu einem NEA machen oder der DEA passt nicht zur Sprache. Hättet ihr einen Gedankenanstoß für mich?
Im Anhang eine bildliche Darstellung meiner Hoffnungslosigkeit.

Geschrieben von eulerscheZahl am 10.05.2016 um 22:22:

RE: DEA aufstellen

Ich benenne deine Zustände aus dem NEA mal: q0 (ganz links), q1, q2, q3 (der Endzustand).
Der DEA startet auch in q0. Mit einer 1 bleibt er in q0. Mit einer 0 kommt er in den Zustand {q0q1}. Das entspricht dem zusammengefassten Zustand von q0 und q1 aus dem NEA.
Von {q0q1} kommst du dann mit einer 0 nach {q0q1q2}: q0 und q1 sind von q0 aus erreichbar. q2 geht über q1.
Bei n Zuständen im NEA kannst du so maximal 2^n Zustände im DEA erhalten.