kontextfreie Grammatik |
| 17.04.2016, 16:53 | Auf diesen Beitrag antworten » |
| gmxfor | kontextfreie Grammatik Meine Frage: Geben Sie eine kontextfreie Grammatik an, die genau die Sprache erzeugt, die durch den regulären Ausdruck a(b|cc)*(a|e) dargestellt wird. Wie muss ich vorangehen? Meine Ideen: ... |
|
|
|
| 17.04.2016, 20:26 | Auf diesen Beitrag antworten » |
| eulerscheZahl | Du hast 3 Bestandteile: a, (b|cc)* und a|e. Generieren wir die doch direkt: S -> aAB Der erste Teil ist damit schon angedeckt. B -> a|e ist auch einfach. Was wird jetzt aus A? |
| 18.04.2016, 16:11 | Auf diesen Beitrag antworten » |
| gmxfor | A -> (b|cc)* |
| 18.04.2016, 16:50 | Auf diesen Beitrag antworten » |
| eulerscheZahl | Den Stern gibt es aber in einer Grammatik nicht. Wie könnte man den umschreiben? |
| Anzeige | |
|
|
|
| 18.04.2016, 17:06 | Auf diesen Beitrag antworten » |
| gmxfor | ich weiß nicht genau aber vielleicht: {0,} |
| 18.04.2016, 17:09 | Auf diesen Beitrag antworten » |
| eulerscheZahl | Nein. Du erzeugst einfach ein neues A, dann kannst du die Regel erneut anwenden: A -> Ab | Acc Eine Sache fehlt noch. Welche? |
| 18.04.2016, 17:14 | Auf diesen Beitrag antworten » |
| gmxfor | leider weiß ich es nicht A-> bA | ccA das ist ja in dem Fall das gleiche |
| 18.04.2016, 17:14 | Auf diesen Beitrag antworten » |
| eulerscheZahl | Aber mit den Regeln allein geht das A nie weg. Also...? |
| 18.04.2016, 17:18 | Auf diesen Beitrag antworten » |
| gmxfor | ja b und cc sind ja in einer unendlichen Schleife wegen dem Stern, also kann man A nicht ersetzen |
| 18.04.2016, 17:19 | Auf diesen Beitrag antworten » |
| eulerscheZahl | Und was muss man tun, damit man das A trotzdem wegbekommt? |
| 18.04.2016, 17:24 | Auf diesen Beitrag antworten » |
| gmxfor | das A mit a generieren |
| 18.04.2016, 17:27 | Auf diesen Beitrag antworten » |
| eulerscheZahl | An die Möglichkeit hatte ich gar nicht gedacht, das ist aber auch möglich. 
Ich hätte einen Epsilon Übergang verwendet. |
| 18.04.2016, 17:31 | Auf diesen Beitrag antworten » |
| gmxfor | dann würde es heißen A -> Ab|Acc A -> a A -> ab|acc oder A -> Ab|Acc A -> epsilon A -> b|cc |
| 18.04.2016, 17:34 | Auf diesen Beitrag antworten » |
| eulerscheZahl | S -> Aa | Ae A -> a | Ab | Acc |
| 18.04.2016, 17:36 | Auf diesen Beitrag antworten » |
| gmxfor | achso ok vielen Dank |
|
|
