Kontextfreie Grammatik < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 14:02 Di 16.09.2008 | | Autor: | Boki87 |
| Aufgabe | Ich habe noch eine weitere Frage:
[mm] L(A)=a^{m}x_{1}^{n_{1}}x_{2}^{n_{2}}x_{3}^{n_{3}}...x_{k}^{n_{k}}| m\ge2 [/mm] und m mod 2 = 0, i=1..k, wenn i [mm] ungerade(x_{i}=b,n_{i}>0), [/mm] wenn i [mm] gerade(x_{i}=c,n_{i}>1)
[/mm]
Geben sie eine kontextfreie Grammatik an! |
Meine Lösung sieht so aus:
[mm] G=(V,\summe,P,S), V=\{A,B,C,D\},\summe=\{a,b,c\}
[/mm]
[mm] P=\{{S\to aaA, A\to aaA, A\to B, B\to bB, B\to C, C\to ccD, D\to cD, D\to B, B\to \varepsilon, C\to \varepsilon, D\to \varepsilon}\}
[/mm]
Die Lösung müsste doch so stimmen, ist vllt etwas komplziert, aber an sich nicht falsch oder?
Denn es können ja zunächst beliebig viele a kommen, einzige Bed. ist, dass sie immer im paar sind, also aa.
Dann für jedes ungerade Indize beliebig viele b, aber minestens 1 und für jedes gerade Indize beliebig viele c, aber mindestens 2.
Danke schonmal im Voraus
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 14:21 Sa 20.09.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
