Theoretische Informatik:Probeklausur: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
JayKay (Diskussion | Beiträge) K |
Pegro (Diskussion | Beiträge) K |
||
Zeile 19: | Zeile 19: | ||
*16. Aufgabe: NJN war NJJ (N weil, endliche Sprachen regulär sind und reguläre Sprachen kontextfrei, also gibt es endliche kontextfreie Sprachen) | *16. Aufgabe: NJN war NJJ (N weil, endliche Sprachen regulär sind und reguläre Sprachen kontextfrei, also gibt es endliche kontextfreie Sprachen) | ||
− | + | [[Kategorie:Studium]] | |
− |
Version vom 19. Februar 2007, 13:41 Uhr
Korrekturdiskussion:
1. Aufgabe: JNJ war JNN (letzte Frage muss auch J sein weil wie erste Frage)
6. Aufgabe: NJN oder NNN war NNN (Ja die Sprache ist NICHT kontextfrei hängt alles an dem B) (es ist eine Frage der Definition)- NNJ ist richtig, weil die Grammatik kontextfrei und damit auch kontextsensitiv ist - ich würde vorschlagen, im Zweifelsfall (und zweifelsfrei ist das hier ein Zweifelsfall) sollten wir uns auf die Definition einigen, die in der Vorlesung gegeben war. Und nach eben dieser Definition ist es sehr wohl erlaubt, das mehr als ein Nichtterminalsymbol auf Epsilon abbildet - daher ist NNJ die korrekte Antwort.
- 7. Aufgabe: siehe Diskusion !!
JJN ist meine Meinung, weil zwar das Pumping Lemma oft benutzt wird um zu widerlegen, dass eine Sprache regulär ist, es kann aber durchaus auch zum Beweis der Regularität verwendet werden.Nicht jede Sprache, die dieses Lemma erfüllt, ist regulär!
- 15. Aufgabe: NNJ war JNJ (N weil der Automat auch aabb$ akzeptieren würde was falsch ist)
- 16. Aufgabe: NJN war NJJ (N weil, endliche Sprachen regulär sind und reguläre Sprachen kontextfrei, also gibt es endliche kontextfreie Sprachen)