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)
----- Aus einem NFA einen regulären Ausdruck erzeugen (http://www.informatikerboard.de/board/thread.php?threadid=1238)


Geschrieben von HB am 09.07.2012 um 11:44:

  Aus einem NFA einen regulären Ausdruck erzeugen

Meine Frage:
Hallo,

ich versuche aus einem gegeben NFA einen regulären Ausdruck zu erzeugen. Die Vorgehensweise ist folgendermassen. Man erzeugt aus jedem einzelnen Zustand einen Ausdruck und fügt diese dann am Ende zusammen. Einigermassen kann ich das auch schon. Jedoch versuche ich mir ein Schema abzuleiten, z.B. mit welchen Zustand man anfängt. Vielleicht kann mir jemand erläutern was für Kriterien erfüllt sein sollten mit Zustand x anzufangen?

Danke

Meine Ideen:
Meine Idee, wäre es einen Zustand zu wählen, der viele ankommen Übergänge besitzt.



Geschrieben von Karlito am 09.07.2012 um 12:55:

 

Wenn ich das recht in Erinnerung habe, macht man das einfach vom Anfangszustand abhängig. und dann fängt man an die entsprechenden Gleichungen aufzustellen. Stichwort Lemma von Arden...

VG,

Karlito



Geschrieben von HueHang am 09.07.2012 um 21:42:

 

Man kann auch den NFA zu einem verallgemeinerten (generalised) GNFA umbauen und dann mithilfe von Eliminationen der Zustände einen regulären Ausdruck bekommen.

Mehr Informationen hier: http://www.cs.uiuc.edu/class/sp09/cs373/lectures/lect_08.pdf


Forensoftware: Burning Board, entwickelt von WoltLab GmbH