Prof. Dr. Viorica Sofronie-Stokkermans Universität Koblenz-Landau Fachbereich 4: Informatik
M.Ed. Dennis Peuter 10. Juni 2019
Übung zur Vorlesung
Grundlagen der theoretischen Informatik
Aufgabenblatt 9
Aufgabe 9.1
Entscheiden Sie durch Ankreuzen, ob die folgenden Aussagen richtig oder falsch sind.
Seien L1 und L2 beliebige kontextfreie Sprachen. Dann ist auch L3 = L1∪ ¬L2 kontextfrei.
richtig falsch SeienL1,L2 undL3 beliebige kontextfreie Sprachen. Dann ist auchL4 =
(L2∩ ¬L3)∩(L3∩ ¬L1) kontextfrei.
richtig falsch SeienL1,L2 undL3 beliebige kontextfreie Sprachen. Dann ist auchL4 =
L1∪L∗2L3 kontextfrei.
richtig falsch SeienL1,L2 und L3 beliebige rationale Sprachen. Dann ist L4 = (L1∩
L2)∪ ¬L3 kontextfrei.
richtig falsch
Aufgabe 9.2
Gegeben Sei die folgende GrammatikG= ({S, A, B, C, D, E, F},{a, b}, R, S) mit R={S→AB|CD|ED,
A→b,
B→CS|AE|a, C→a,
D→AS|CF|b, E→BB, F →DD}
Entscheiden Sie mit dem Algorithmus von Cocke-Younger-Kasami, ob w=ba3b2 ∈L(G)ist.