Kann mir jemand bei diesem Automaten helfen?

Hallo zusammen,

ich benötige etwas hilfe zu folgendem Problem:

a = c* ((a(a|c)*b) | (b(b|c)*a)) (a|b|c)*

Aus diesem regulären Ausdruck möchte ich gerne in einen endlichen Automaten konstruieren, aber irgendwie fehlt mir da der Ansatz.

Habe auch schon versucht mich mit Hilfe von http://www.iti.fh-flensburg.de/lang/compbau/konstruktion.htm ans das Ergebnis ranzutasten (das Applet lässt leider nur max. 20 Zeichen zu), aber habe dann Probleme die "Teil-Automaten" zusammenzuführen.

Hab z.B. schon einen fertigen Automaten zu den Teilen (a(a|c)*b), (b(b|c)*a) und (a|b|c)*..
Nur wie kann ich die sinnvoll zusammenführen?!?

Vielleicht kann mir jemand helfen..

Viele Grüße,
Fips

Zitat von Sandybutt

Du machst vom Startzustand c zwei Pfeile zu den Teilautomaten (a(a|c)*b) und (b(b|c)*a) und vom b des ersten Teilautomatens und vom a des zweiten Teilautomatens machst du noch einen Pfeil zu (a|b|c)*, wobei jeder dieser Zustände ein Endzustand ist.

mhh.. versteh ich noch nicht so ganz..
das müsste dann ja so aussehen (oder?):
[Blockierte Grafik: http://www.imgshare.de/upload/image_1208597622.jpg]

aber das sieht irgendwie komisch aus.. glaube nicht das es so stimmt.. :wein:

Zitat von Wings-of-Glory

ich kann dir jflap ans herz legen. damit kannst deinen automaten zeichnen und auch testen

bei jflap kommen aber irgendwie ganz andere ergebnisse raus als bei http://www.iti.fh-flensburg.de/lang/compbau/konstruktion.htm
komisch..

hab das ganze jetzt mal in jflap eingegeben..
sieht aber etwas abenteuerlich aus.. :p

[Blockierte Grafik: http://www.imgshare.de/upload/image_1208605690.jpg]

Zitat von Sandybutt

Wie wärs mit dem im Anhang? 2 ist Endzustand.

danke.. sieht zumindest mal besser aus, als der generierte von jflap..
aber sicher das man den kompletten ausdruck in so einem "kleinen" automaten abbilden kann?

super, danke!
ich glaub jetzt hab ichs auch kappiert.. mir hat anscheint nur en gutes beispiel gefehlt.. ;p