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)
----- Vollständigen endlichen Automat für regulären Ausdruck + Reguläre Grammatik erstellen (http://www.informatikerboard.de/board/thread.php?threadid=2048)


Geschrieben von FHDresden4Life am 18.01.2015 um 10:22:

 

Zitat:
Original von Karlito
Hallo FHDresden4Life,

das mit dem epsilon kann man so machen. Du hast aber noch ein kleines Fehlerchen in deiner Lösung. [latex]Z_4\rightarrow cZ_2[/latex] muss zu [latex]Z_4\rightarrow aZ_2[/latex] werden. Ist sicher nur ein Copy-Paste-Fehler...

Gruß,

Karlito



Guten Morgen,

ich sollte meine Grammatik vereinfachen und komme nun auf dieses Ergebnis im Anhang.

Ist sie soweit korrekt? ich dachte wenn ein * in einer RegEx vorkommt wäre ein Epsilon zwingend notwendig.

Gruß



Geschrieben von Karlito am 18.01.2015 um 11:41:

 

Hallo FHDresden4Life,

deine Grammatik sieht korrekt aus. Ein * sorgt nicht für das Auftauchen eines epsilon, eher noch ein Endzustand... Zwingend wird ein Epsilon bei Typ3-Sprachen erst, wenn die Sprache das leere Wort enthält.

Gruß,

Karlito


Forensoftware: Burning Board, entwickelt von WoltLab GmbH