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)
--- Verständnis zum regulären Ausdruck (http://www.informatikerboard.de/board/thread.php?threadid=3796)


Geschrieben von lenix22 am 25.11.2017 um 14:20:

  Verständnis zum regulären Ausdruck

Hey Leute,

Ich muss eine Aufgabe lösen die relativ einfach ist, aber ich würde gerne wissen ob ich es auch richtig verstanden habe. Folgender Ausdruck:
epsilon + a(ba + aa*b)*(b + aa*)

Jetzt soll ich sagen, ob dieser Ausdruck zum folgenden Automaten passt.
-Anhang-

Also ich kann ja entweder epsilon nehmen, oder ein Wort was aufjedenfall ein a hat und ein b am Ende. Beispielt Wort w=abaaabb oder auch abaaabbaa
Der Teil mit a und b funktioniert bei dem Automaten nicht, aber ein epsilon schon. Ist der Ausdruck somit trotzdem richtig?



Geschrieben von Karlito am 26.11.2017 um 11:45:

 

Hallo lenix22,

wenn Du ein Wort findest, was vom regulären Ausdruck akzeptiert, von dem Automaten jedoch nicht Akzeptiert wird, dann sind die Sprachen nicht äquivalent.
Das Gleiche gilt, wenn ein Wort vom Automaten akzeptiert wird, der reguläre Ausdruck das Wort jedoch nicht enthält.

Besten Gruß,

Karlito



Geschrieben von lenix22 am 26.11.2017 um 16:25:

 

Ich hab ja ein Wort bei dem Automaten was akzeptiert wird und das ist ja epsilon. Meine Frage wurde dadurch nicht wirklich beantwortet.



Geschrieben von Karlito am 27.11.2017 um 09:14:

 

Richtig lesen, lenix22!

Sobald Du ein Wort findest, welches in der einen Sprache, aber nicht in der anderen Sprache enthalten ist, dann sind die Sprachen nicht äquivalent!

Besten Gruß,

Karlito


Forensoftware: Burning Board, entwickelt von WoltLab GmbH