Äquivalenz zweier Grammatiken < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Aufgabe | Sei G eine beliebige erweiterte kontextfreie Grammatik (wie eine Grammatik vom Typ 2, jedoch darf es Regeln A [mm] \rightarrow \epsilon \in [/mm] P geben).
Zeigen Sie, dass es eine gewöhnliche kontextfreie Grammatik G' gibt, die keine unnützen Symbole enthält und für die L(G)=L(G') gilt. |
Hallo,
sitze grad an dieser Aufgabe und stecke irgendwie fest. Hat jemand zufällig eine Idee, wie man beginnen könnte? 
Viele Grüße,
Topologe
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 20:10 Do 09.01.2014 | | Autor: | Topologe |
Keiner eine Idee? :-(
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 16:20 Fr 10.01.2014 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
