Theoretische Grundlagen der Informatik

Save this PDF as:
 WORD  PNG  TXT  JPG

Größe: px
Ab Seite anzeigen:

Download "Theoretische Grundlagen der Informatik"

Transkript

1 Theoretische Grundlagen der Informatik Übung am INSTITUT FÜR THEORETISCHE 0 KIT Universität des Andrea Landes Schumm Baden-Württemberg - Theoretische und Grundlagen der Informatik INSTITUT FÜR THEORETISCHE nationales Forschungszentrum in der Helmholtz-Gemeinschaft

2 Lehre im SS 2012 Proseminar Die P = N P-Vermutung Nähere Informationen: i11www.iti.uni-karlsruhe.de/teaching/sommer2012/pvsnp/index Fragen: Mail an Ignaz Rutter Vorlesung Algorithmen für planare Graphen Näheres bald auf unserer Homepage Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

3 Organisatorisches Erinnerung: Anmeldung zur Hauptklausur bis zum 8. Februar möglich Fragen/Sonderfälle Übungsleiter Abmeldung nach dem 8. Februar Persönlich bei Tanja Hartmann (Studierendenausweis mitbringen) Vor Beginn der Klausur im Hörsaal Da ein Punkt auf diesem Blatt aus der Bewertung herausfällt (siehe Erklärung bei der Lösung zu Aufgabe 1)), werden insgesamt 90 Punkte für den Klausurbonus benötigt Sobald alles korrigiert: Aushang von Matrikelnummern von Studenten mit Bonus (zum Prüfen) Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

4 Wunschübung Nächster Donnerstag: Wunschübung statt Vorlesung Wunschthemen/Aufgabentypen? Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

5 Wunschübung Nächster Donnerstag: Wunschübung statt Vorlesung Wunschthemen/Aufgabentypen? Bis Sonntag auch per Mail an möglich Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

6 Hinweis zu Aufgabe 1 Auf dem Übungsblatt ist ein Tippfehler in der gegebenen Grammatik Die Regel S AB ist dort S A Hier: Lösung zur Grammatik mit Regel S AB, so wie in der Übung vorgestellt Zusatzmaterial auf Homepage Lösung zu Aufgabe 1b), wie sie auf dem Übungsblatt gegeben war Hinweise zur Bepunktung Bitte entschuldigt diese Unachtsamkeit! Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

7 Aufgabe 1 Sei G = (Σ, V, S, R) die CH-2-Grammatik mit Σ = {a, b, c, d}, V = {A, B, C, D, S} und der folgenden Regelmenge R: S AB abcc C A a BD ε B b C c S D d A Daa Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

8 Aufgabe 1 a) Sei G = (Σ, V, S, R) die CH-2-Grammatik mit Σ = {a, b, c, d}, V = {A, B, C, D, S} und der folgenden Regelmenge R: S AB abcc C A a BD ε B b C c S D d A Daa Lässt sich der CYK-Algorithmus auf G (ohne Modifikationen) anwenden? Begründen Sie Ihre Antwort Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

9 Aufgabe 1 a) Sei G = (Σ, V, S, R) die CH-2-Grammatik mit Σ = {a, b, c, d}, V = {A, B, C, D, S} und der folgenden Regelmenge R: S AB abcc C A a BD ε B b C c S D d A Daa Lässt sich der CYK-Algorithmus auf G (ohne Modifikationen) anwenden? Begründen Sie Ihre Antwort. Lösung: Grammatik ist kontextfrei Prinzipiell kann CYK für das Wortproblem in L(G) benutzt werden, aber Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

10 Aufgabe 1 a) Sei G = (Σ, V, S, R) die CH-2-Grammatik mit Σ = {a, b, c, d}, V = {A, B, C, D, S} und der folgenden Regelmenge R: S AB abcc C A a BD ε B b C c S D d A Daa Lässt sich der CYK-Algorithmus auf G (ohne Modifikationen) anwenden? Begründen Sie Ihre Antwort. Lösung: Grammatik ist kontextfrei Prinzipiell kann CYK für das Wortproblem in L(G) benutzt werden, aber... Grammatik ist nicht in Chomsky-Normalform, also kann CYK nicht direkt benutzt werden! Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

11 Aufgabe 1 b) Sei G = (Σ, V, S, R) die CH-2-Grammatik mit Σ = {a, b, c, d}, V = {A, B, C, D, S} und der folgenden Regelmenge R: S AB abcc C A a BD ε B b C c S D d A Daa Bringen Sie G mit Hilfe des Verfahrens aus der Vorlesung in Chomsky-Normalform Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

12 Aufgabe 1 b) S AB abcc C A a BD ε B b C c S D d A Daa Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

13 Aufgabe 1 b) Schritt 1: Alle Regeln enthalten auf der rechten Seite nur Symbole aus V oder nur ein Symbol aus Σ S AB abcc C A a BD ε B b C c S D d A Daa Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

14 Aufgabe 1 b) Schritt 1: Alle Regeln enthalten auf der rechten Seite nur Symbole aus V oder nur ein Symbol aus Σ S AB Y a BCC C A a BD ε B b C c S D d A DY a Y a Y a a Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

15 Aufgabe 1 b) Schritt 1: Alle Regeln haben Länge 2 S AB Y a BCC C A a BD ε B b C c S D d A DY a Y a Y a a Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

16 Aufgabe 1 b) Schritt 1: Alle Regeln haben Länge 2 S AB Y a C 1 C A a BD ε B b C c S D d A DC 3 Y a a C 1 BC 2 C 2 CC C 3 Y a Y a Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

17 Aufgabe 1 b) Schritt 3: Es kommen keine Regeln A ε vor. S AB Y a C 1 C A a BD ε B b C c S D d A DC 3 Y a a C 1 BC 2 C 2 CC C 3 Y a Y a Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

18 Aufgabe 1 b) Schritt 3: Es kommen keine Regeln A ε vor. S AB Y a C 1 C A a BD ε B b C c S D d A DC 3 Y a a C 1 BC 2 C 2 CC C 3 Y a Y a V = {A} Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

19 Aufgabe 1 b) Schritt 3: Es kommen keine Regeln A ε vor. S B Y a C 1 C A a BD ε B b C c S D d ε DC 3 Y a a C 1 BC 2 C 2 CC C 3 Y a Y a Testweise: Ersetze A durch ε in rechten Seiten V = {A} Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

20 Aufgabe 1 b) Schritt 3: Es kommen keine Regeln A ε vor. S B Y a C 1 C A a BD ε B b C c S D d ε DC 3 Y a a C 1 BC 2 C 2 CC C 3 Y a Y a Testweise: Ersetze A durch ε in rechten Seiten V = {A, D} Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

21 Aufgabe 1 b) Schritt 3: Es kommen keine Regeln A ε vor. S B Y a C 1 C A a B ε B b C c S D d ε C 3 Y a a C 1 BC 2 C 2 CC C 3 Y a Y a Testweise: Ersetze D durch ε in rechten Seiten V = {A, D} Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

22 Aufgabe 1 b) Schritt 3: Es kommen keine Regeln A ε vor. S AB Y a C 1 C A a BD ε B b C c S D d A DC 3 Y a a C 1 BC 2 C 2 CC C 3 Y a Y a V = {A, D} Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

23 Aufgabe 1 b) Schritt 3: Es kommen keine Regeln A ε vor. S AB Y a C 1 C B A a BD B B b C c S D d A DC 3 C 3 Y a a C 1 BC 2 C 2 CC C 3 Y a Y a V = {A, D} Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

24 Aufgabe 1 b) Schritt 4: Ersetzung aller Kettenregeln S AB Y a C 1 C B A a BD B B b C c S D d A DC 3 C 3 Y a a C 1 BC 2 C 2 CC C 3 Y a Y a Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

25 Aufgabe 1 b) Schritt 4: Ersetzung aller Kettenregeln S AB Y a C 1 C B A a BD B B b C c S D d A DC 3 C 3 Y a a C 1 BC 2 C 2 CC C 3 Y a Y a Abhängigkeitsgraph: D S A C B C Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

26 Aufgabe 1 b) Schritt 4: Ersetzung aller Kettenregeln S AB Y a C 1 B c A a BD B B b Abhängigkeitsgraph: D D d A DC 3 C 3 Y a a C 1 BC 2 C 2 SS C 3 Y a Y a S B A C Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

27 Aufgabe 1 b) Schritt 4: Ersetzung aller Kettenregeln S AB Y a C 1 B c A a BD B B b D d A DC 3 C 3 Y a a C 1 BC 2 C 2 SS C 3 Y a Y a Abhängigkeitsgraph: D S A B C 3 topologische Sortierung: D, S, A, C 3, B Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

28 Aufgabe 1 b) Schritt 4: Ersetzung aller Kettenregeln S AB Y a C 1 b c A a BD b B b D d A DC 3 C 3 Y a a C 1 BC 2 C 2 SS C 3 Y a Y a Abhängigkeitsgraph: D S A B C 3 topologische Sortierung: D, S, A, C 3, B Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

29 Aufgabe 1 b) Schritt 4: Ersetzung aller Kettenregeln S AB Y a C 1 b c A a BD b B b D d A DC 3 Y a Y a Y a a C 1 BC 2 C 2 SS C 3 Y a Y a Abhängigkeitsgraph: D S A B C 3 topologische Sortierung: D, S, A, C 3, B Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

30 Aufgabe 1 b) Schritt 4: Ersetzung aller Kettenregeln S AB Y a C 1 b c A a BD b B b Abhängigkeitsgraph: D D d a BD b DC 3 Y a Y a Y a a S A C 3 C 1 BC 2 B C 2 SS C 3 Y a Y a topologische Sortierung: D, S, A, C 3, B Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

31 Aufgabe 1 b) Schritt 4: Ersetzung aller Kettenregeln S AB Y a C 1 b c A a BD b B b Abhängigkeitsgraph: D D d a BD b DC 3 Y a Y a Y a a S A C 3 C 1 BC 2 B C 2 SS C 3 Y a Y a topologische Sortierung: D, S, A, C 3, B Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

32 Aufgabe 1 b) Schritt 4: Ersetzung aller Kettenregeln S AB Y a C 1 b c A a BD b B b Abhängigkeitsgraph: D D d a BD b DC 3 Y a Y a Y a a S A C 3 C 1 BC 2 B C 2 SS C 3 Y a Y a topologische Sortierung: D, S, A, C 3, B Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

33 Aufgabe 2 Zeigen Sie, dass folgende Sprachen nicht kontextfrei sind: L 1 = {a i b j c k i < j < k} L 2 = {ww w {0, 1} } Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

34 Das Pumping-Lemma für kontextfreie Sprachen Pumping-Lemma für kontextfreie Sprachen Für jede kontextfreie Sprache L gibt es eine Konstante n N, so dass sich jedes Wort z L mit z n so als z = uvwxy schreiben lässt, dass vx 1, vwx n und für alle 0 das Wort uv i wx i y L ist Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

35 Aufgabe 2 a) L 1 = {a i b j c k i < j < k} Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

36 Aufgabe 2 a) L 1 = {a i b j c k i < j < k} Lösung: Annahme: L 1 ist kontextfrei Pumping-Lemma: n N, so dass jedes Wort z L 1 mit z n eine Zerlegung z = uvwxy besitzt mit vx 1 und vwx n, so dass uv i wx i y L 1 für alle i 0 Wähle z = a n b n+1 c n+2 Betrachte eine Zerlegung z = uvwxy gemäß des Pumping-Lemmas Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

37 Aufgabe 2 a) L 1 = {a i b j c k i < j < k} Lösung: vwx n, d.h. vx kann nicht gleichzeitig a s und c s enthalten Fall 1: vx enthält keine a s Fall 1.1: vx enthält mindestens ein b: Dann enthält uv 0 wx 0 y höchstens so viele b s wie a s Fall 1.2: vx enthält kein b ( also mindestens ein c): Dann enthält uv 0 wx 0 y höchstens so viele c s wie b s Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

38 Aufgabe 2 a) L 1 = {a i b j c k i < j < k} Lösung: vwx n, d.h. vx kann nicht gleichzeitig a s und c s enthalten Fall 2: vx enthält keine c s Falls vx mindestens ein b enthält, dann enthält uv 2 wx 2 y mindestens so viele b s wie c s Falls vx mindestens ein a enthält, dann enthält uv 3 wx 3 y mindestens so viele a s wie c s In allen Fällen gibt es also i N 0, so dass uv i wx i y nicht in L 1 Dies ist ein Widerspruch zum Pumping-Lemma Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

39 Aufgabe 2 b) L 2 = {ww w {0, 1} } Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

40 Aufgabe 2 b) L 2 = {ww w {0, 1} } Lösung: Annahme: L 2 ist kontextfrei Pumping-Lemma: n N, so dass jedes Wort z L 2 mit z n eine Zerlegung z = uvwxy besitzt mit vx 1 und vwx n, so dass uv i wx i y L 2 für alle i 0 Wähle z = 0 n 1 n 01 n Betrachte eine Zerlegung z = uvwxy gemäß des Pumping-Lemmas Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

41 Aufgabe 2 b) L 2 = {ww w {0, 1} } Lösung: z = 0 n 1 n 0 n 1 n vwx n, d.h. es müssen nur folgende Fälle betrachtet werden: Fall 1: v und x liegen komplett in der linken Hälfte des Wortes Fall 2: v und x liegen komplett in der rechten Hälfte des Wortes Fall 3: v und x sind Teilworte der mittleren beiden Blöcke Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

42 Aufgabe 2 b) L 2 = {ww w {0, 1} } Lösung: z = 0 n 1 n 0 n 1 n vwx n, d.h. es müssen nur folgende Fälle betrachtet werden: Fall 1: v und x liegen komplett in der linken Hälfte des Wortes... dann ist uv 0 wx 0 y = 0 n j 1 n k 0 n 1 n / L 2, da k 1 oder j 1 Fall 2: v und x liegen komplett in der rechten Hälfte des Wortes... dann ist uv 0 wx 0 y = 0 n 1 n 0 n j 1 n k / L 2, da k 1 oder j 1 Fall 3: v und x sind Teilworte der mittleren beiden Blöcke... dann ist uv 0 wx 0 y = 0 n 1 n j 0 n k 1 n / L 2, da k 1 oder j Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

43 Aufgabe 2 b) L 2 = {ww w {0, 1} } Lösung: z = 0 n 1 n 0 n 1 n vwx n, d.h. es müssen nur folgende Fälle betrachtet werden: Fall 1: v und x liegen komplett in der linken Hälfte des Wortes... dann ist uv 0 wx 0 y = 0 n j 1 n k 0 n 1 n / L 2, da k 1 oder j 1 Fall 2: v und x liegen komplett in der rechten Hälfte des Wortes... dann ist uv 0 wx 0 y = 0 n 1 n 0 n j 1 n k / L 2, da k 1 oder j 1 Fall 3: v und x sind Teilworte der mittleren beiden Blöcke... dann ist uv 0 wx 0 y = 0 n 1 n j 0 n k 1 n / L 2, da k 1 oder j 1 In allen Fällen ist also uv 0 wx 0 y nicht in L 2 Dies ist ein Widerspruch zum Pumping-Lemma Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

44 Aufgabe 3 Sei G = (Σ, V, S, R) die Grammatik mit Σ = {0, 1}, V = {A, S} und der folgenden Regelmenge R: S AA 0 A SS Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

45 Aufgabe 3 a) Sei G = (Σ, V, S, R) die Grammatik mit Σ = {0, 1}, V = {A, S} und der folgenden Regelmenge R: S AA 0 A SS 1 Liegen die Worte und in der von G erzeugten Sprache? Beantworten Sie diese Frage mit Hilfe des CYK-Algorithmus Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

46 Aufgabe 3 a) S AA 0 A SS Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

47 Aufgabe 3 a) S AA 0 A SS 1 S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

48 Aufgabe 3 a) S AA 0 A SS 1 A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

49 Aufgabe 3 a) S AA 0 A SS 1 A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

50 Aufgabe 3 a) S AA 0 A SS 1 A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

51 Aufgabe 3 a) S AA 0 A SS 1 A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

52 Aufgabe 3 a) S AA 0 A SS 1 A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

53 Aufgabe 3 a) S AA 0 A SS 1 A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

54 Aufgabe 3 a) S AA 0 A SS 1 A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

55 Aufgabe 3 a) S AA 0 A SS 1 A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

56 Aufgabe 3 a) S AA 0 A SS 1 A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

57 Aufgabe 3 a) S AA 0 A SS 1 A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

58 Aufgabe 3 a) S AA 0 A SS 1 A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

59 Aufgabe 3 a) S AA 0 A SS 1 A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

60 Aufgabe 3 a) S AA 0 A SS 1 S A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

61 Aufgabe 3 a) S AA 0 A SS 1 S A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

62 Aufgabe 3 a) S AA 0 A SS 1 S A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

63 Aufgabe 3 a) S AA 0 A SS 1 S A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

64 Aufgabe 3 a) S AA 0 A SS 1 S S A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

65 Aufgabe 3 a) S AA 0 A SS 1 S S A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

66 Aufgabe 3 a) S AA 0 A SS 1 S S A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

67 Aufgabe 3 a) S AA 0 A SS 1 S S A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

68 Aufgabe 3 a) S AA 0 A SS 1 S A S A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

69 Aufgabe 3 a) S AA 0 A SS 1 S A S A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

70 Aufgabe 3 a) S AA 0 A SS 1 S A S A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

71 Aufgabe 3 a) S AA 0 A SS 1 S A S A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

72 Aufgabe 3 a) S AA 0 A SS 1 S A S A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

73 Aufgabe 3 a) S AA 0 A SS 1 S A S A A A S S S S A Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

74 Aufgabe 3 a) S AA 0 A SS 1 S A S A A A S S S S A S ist nicht in V 15, also liegt nicht in der von G erzeugten Sprache Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

75 Aufgabe 3 a) S AA 0 A SS 1 S A S A S S A S A S ist in V 15, also liegt in der von G erzeugten Sprache Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

76 Aufgabe 3 b) Sei G = (Σ, V, S, R) die Grammatik mit Σ = {0, 1}, V = {A, S} und der folgenden Regelmenge R: S AA 0 A SS 1 Überführen Sie G mit Hilfe der Regeln (i) und (ii) aus dem Beweis zu Satz 5.23 in Greibach-Normalform Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

77 Ersetzungsregel (i) Folgende Ersetzungen ändern nichts an der erzeugten Sprache: Ersetzung (i). Eine Regel wobei A α 1 Bα 2 B β 1, B β 2,..., B β r alle Regeln sind, deren linke Seite B ist, kann durch die Regeln ersetzt werden. A α 1 β 1 α 2 A α 1 β 2 α 2... A α 1 β r α Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

78 Ersetzungsregel (ii) Folgende Ersetzungen ändern nichts an der erzeugten Sprache: Ersetzung (ii). Seien A Aα 1,..., A Aα r A β 1,..., A β s alle Regeln, deren linke Seite A ist, wobei β i nicht mit A beginnen. Dann können die Regeln A Aα 1,..., A Aα r durch die Regeln A β 1 B,..., A β s B B α 1,..., B α r, B α 1 B,..., B α r B ersetzt werden. Dabei sei B eine neu eingeführte Variable Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

79 Greibach-Normalform Noch zu tun: Forme Grammatik so um, dass jede rechte Seite mit einem Terminal beginnt S AA 0 A SS Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

80 Greibach-Normalform Noch zu tun: Forme Grammatik so um, dass jede rechte Seite mit einem Terminal beginnt S AA 0 A SS 1 (i) Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

81 Greibach-Normalform Noch zu tun: Forme Grammatik so um, dass jede rechte Seite mit einem Terminal beginnt S SSA 1A 0 A SS 1 (i) Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

82 Greibach-Normalform Noch zu tun: Forme Grammatik so um, dass jede rechte Seite mit einem Terminal beginnt S SSA 1A 0 A SS Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

83 Greibach-Normalform Noch zu tun: Forme Grammatik so um, dass jede rechte Seite mit einem Terminal beginnt S SSA 1A 0 A SS 1 (ii) Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

84 Greibach-Normalform Noch zu tun: Forme Grammatik so um, dass jede rechte Seite mit einem Terminal beginnt S 1AB 0B 1A 0 A SS 1 B SA SAB (ii) Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

85 Greibach-Normalform Noch zu tun: Forme Grammatik so um, dass jede rechte Seite mit einem Terminal beginnt S 1AB 0B 1A 0 A SS 1 B SA SAB Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

86 Greibach-Normalform Noch zu tun: Forme Grammatik so um, dass jede rechte Seite mit einem Terminal beginnt S 1AB 0B 1A 0 A SS 1 B SA SAB (i) Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

87 Greibach-Normalform Noch zu tun: Forme Grammatik so um, dass jede rechte Seite mit einem Terminal beginnt S 1AB 0B 1A 0 A 1AB 0BS 1AS 0S 1 B SA SAB (i) Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

88 Greibach-Normalform Noch zu tun: Forme Grammatik so um, dass jede rechte Seite mit einem Terminal beginnt S 1AB 0B 1A 0 A 1AB 0BS 1AS 0S 1 B SA SAB (i) Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

89 Greibach-Normalform Noch zu tun: Forme Grammatik so um, dass jede rechte Seite mit einem Terminal beginnt S 1AB 0B 1A 0 A 1AB 0BS 1AS 0S 1 B 1ABA 0BA 1AA 0A (i) B 1ABAB 0BAB 1AAB 0AB Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

90 Greibach-Normalform Noch zu tun: Forme Grammatik so um, dass jede rechte Seite mit einem Terminal beginnt S 1AB 0B 1A 0 A 1AB 0BS 1AS 0S 1 B 1ABA 0BA 1AA 0A B 1ABAB 0BAB 1AAB 0AB Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

91 Aufgabe 4 Sei G eine kontextfreie Grammatik und w L(G) ein Wort der Länge n. Wie lang ist die Ableitung von w in G, wenn G in Chomsky-Normalform ist? Wie lang ist die Ableitung von w in G, wenn G in Greibach-Normalform ist? Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

92 Aufgabe 4 a) Sei G eine kontextfreie Grammatik und w L(G) ein Wort der Länge n. Wie lang ist die Ableitung von w in G, wenn G in Chomsky-Normalform ist? Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

93 Aufgabe 4 a) Sei G eine kontextfreie Grammatik und w L(G) ein Wort der Länge n. Wie lang ist die Ableitung von w in G, wenn G in Chomsky-Normalform ist? Lösung: Sei n := w Beobachtung 1: Es werden genau n Ableitungsschritte gebraucht, die Variablen auf Terminale abbilden Beobachtung 2: Alle anderen Ableitungen erhöhen die Anzahl der Zeichen um genau eins Insgesamt benötigt die Ableitung also genau n 1 + n Ableitungsschritte Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

94 Aufgabe 4 b) Sei G eine kontextfreie Grammatik und w L(G) ein Wort der Länge n. Wie lang ist die Ableitung von w in G, wenn G in Greibach-Normalform ist? Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

95 Aufgabe 4 b) Sei G eine kontextfreie Grammatik und w L(G) ein Wort der Länge n. Wie lang ist die Ableitung von w in G, wenn G in Greibach-Normalform ist? Lösung: Sei n := w Beobachtung: In jedem Schritt wird genau ein Nichtterminal erzeugt Insgesamt benötigt die Ableitung also genau n Ableitungsschritte Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

96 Aufgabe 5 Sei A = ({s, q}, {a, b}, {Y, Z }, δ, s, Z, {q}) der Kellerautomat mit der folgenden Übergangsrelation δ: (s,a,z ) (s,yz ), (s,ɛ,z ) (s, ɛ ) (s,a,y ) (s,yy ), (q,a,y ) (q, ɛ ) (s,b,y ) (q, Y ), (q,b,z ) (s,z ) Ist A deterministisch? Dokumentieren Sie eine akzeptierende Berechnung des Wortes aabaab. Geben Sie die Sprache L F, die von A durch einen akzeptierenden Endzustand erkannt wird, an und begründen Sie Ihre Aussage. Geben Sie die Sprache L ɛ, die von A durch leeren Stack erkannt wird, an und begründen Sie Ihre Aussage. Geben Sie eine kontextfreie Grammatik für die Sprache L ɛ an Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

97 Kellerautomaten - Arbeitsweise Ein PDA akzeptiert ein w Σ durch leeren Stack, wenn es eine zulässige Folge von Konfigurationen aus der Anfangskonfiguration (q 0, w, Z 0 ) in eine Konfiguration (q, ε, ε), q Q, gibt Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

98 Kellerautomaten - Arbeitsweise Ein PDA akzeptiert ein w Σ durch leeren Stack, wenn es eine zulässige Folge von Konfigurationen aus der Anfangskonfiguration (q 0, w, Z 0 ) in eine Konfiguration (q, ε, ε), q Q, gibt. Ein PDA akzeptiert ein w Σ durch einen akzeptierenden Endzustand, wenn es eine zulässige Folge von Konfigurationen aus der Anfangskonfiguration (q 0, w, Z 0 ) in eine Konfiguration (q, ε, γ) mit q F und γ Γ gibt Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

99 Kellerautomaten - Arbeitsweise Ein PDA akzeptiert ein w Σ durch leeren Stack, wenn es eine zulässige Folge von Konfigurationen aus der Anfangskonfiguration (q 0, w, Z 0 ) in eine Konfiguration (q, ε, ε), q Q, gibt. Ein PDA akzeptiert ein w Σ durch einen akzeptierenden Endzustand, wenn es eine zulässige Folge von Konfigurationen aus der Anfangskonfiguration (q 0, w, Z 0 ) in eine Konfiguration (q, ε, γ) mit q F und γ Γ gibt. Ein PDA ist deterministisch (DPDA), falls für alle q Q, a Σ, Z Γ. δ(q, a, Z ) + δ(q, ε, Z ) Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

100 Aufgabe 5 a) Sei A = ({s, q}, {a, b}, {Y, Z }, δ, s, Z, {q}) der Kellerautomat mit der folgenden Übergangsrelation δ: Ist A deterministisch? (s,a,z ) (s,yz ), (s,ɛ,z ) (s, ɛ ) (s,a,y ) (s,yy ), (q,a,y ) (q, ɛ ) (s,b,y ) (q, Y ), (q,b,z ) (s,z ) Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

101 Aufgabe 5 a) Sei A = ({s, q}, {a, b}, {Y, Z }, δ, s, Z, {q}) der Kellerautomat mit der folgenden Übergangsrelation δ: Ist A deterministisch? (s,a,z ) (s,yz ), (s,ɛ,z ) (s, ɛ ) (s,a,y ) (s,yy ), (q,a,y ) (q, ɛ ) (s,b,y ) (q, Y ), (q,b,z ) (s,z ) Lösung: Nein, A ist nicht deterministisch, denn δ(s, a, Z ) + δ(s, ɛ, Z ) > Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

102 Aufgabe 5 b) Sei A = ({s, q}, {a, b}, {Y, Z }, δ, s, Z, {q}) der Kellerautomat mit der folgenden Übergangsrelation δ: (s,a,z ) (s,yz ), (s,ɛ,z ) (s, ɛ ) (s,a,y ) (s,yy ), (q,a,y ) (q, ɛ ) (s,b,y ) (q, Y ), (q,b,z ) (s,z ) Dokumentieren Sie eine akzeptierende Berechnung des Wortes aabaab. Geben Sie dazu für jeden Schritt die aktuelle Konfiguration an Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

103 Aufgabe 5 b) Sei A = ({s, q}, {a, b}, {Y, Z }, δ, s, Z, {q}) der Kellerautomat mit der folgenden Übergangsrelation δ: (s,a,z ) (s,yz ), (s,ɛ,z ) (s, ɛ ) (s,a,y ) (s,yy ), (q,a,y ) (q, ɛ ) (s,b,y ) (q, Y ), (q,b,z ) (s,z ) Dokumentieren Sie eine akzeptierende Berechnung des Wortes aabaab. Geben Sie dazu für jeden Schritt die aktuelle Konfiguration an. Lösung: (s, aabaab, Z ) (s, abaab, YZ ) (s, baab, YYZ ) (q, aab, YYZ ) (q, ab, YZ ) (q, b, Z ) (s, ε, Z ) (s, ε, ε) Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

104 Aufgabe 5 c) Sei A = ({s, q}, {a, b}, {Y, Z }, δ, s, Z, {q}) der Kellerautomat mit der folgenden Übergangsrelation δ: (s,a,z ) (s,yz ), (s,ɛ,z ) (s, ɛ ) (s,a,y ) (s,yy ), (q,a,y ) (q, ɛ ) (s,b,y ) (q, Y ), (q,b,z ) (s,z ) Geben Sie die Sprache L F, die von A durch einen akzeptierenden Endzustand erkannt wird, an und begründen Sie Ihre Aussage. Ein formaler Beweis ist hierzu nicht nötig Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

105 Aufgabe 6 c) Geben Sie die Sprache L F, die von A durch einen akzeptierenden Endzustand erkannt wird, an und begründen Sie Ihre Aussage. Ein formaler Beweis ist hierzu nicht nötig Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

106 Aufgabe 6 c) Geben Sie die Sprache L F, die von A durch einen akzeptierenden Endzustand erkannt wird, an und begründen Sie Ihre Aussage. Ein formaler Beweis ist hierzu nicht nötig. Lösung: Im Zustand s wird für jedes a ein Y auf den Stack gelegt und in Zustand q wird für jedes a ein Y vom Stack genommen Der Kellerautomat befindet sich immer abwechselnd in Zustand s und q Wie sieht das Suffix eines Wortes aus, dessen Abarbeitung in q endet? Betrachte die Konfigurationsfolge, nachdem das letzte Mal von q nach s gewechselt wurde Wenn von q nach s gewechselt wird, ist dies mit der Regel (q, b, Z ) (s, Z ), es liegt also danach nur Z auf dem Stack Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

107 Aufgabe 6 c) Geben Sie die Sprache L F, die von A durch einen akzeptierenden Endzustand erkannt wird, an und begründen Sie Ihre Aussage. Ein formaler Beweis ist hierzu nicht nötig. Lösung: Wenn nur Z auf dem Stack liegt, dann wird nach q gewechselt durch einlesen von a i b mit i > 0 Der Kellerautomat bleibt dann in Zustand q, solange höchstens i a s eingelesen werden, also wenn das Suffix des Wortes von der Form a i ba j mit i > 0, j i ist Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

108 Aufgabe 6 c) Geben Sie die Sprache L F, die von A durch einen akzeptierenden Endzustand erkannt wird, an und begründen Sie Ihre Aussage. Ein formaler Beweis ist hierzu nicht nötig. Lösung: Was kann vor diesem Suffix kommen? Zuvor kann beliebig oft von s nach q und wieder zurück gewechselt werden Von q nach s gewechselt werden kann nur, wenn gleich viele a s eingelesen werden wie zuvor in Zustand s Insgesamt kann also beliebig oft ein Wort der Form a i ba i b mit i > 0 eingelesen werden Sei L = {a i ba i b i > 0} Dann ist L f = L {a i ba j i > 0, j i} Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

109 Aufgabe 5 d) Sei A = ({s, q}, {a, b}, {Y, Z }, δ, s, Z, {q}) der Kellerautomat mit der folgenden Übergangsrelation δ: (s,a,z ) (s,yz ), (s,ɛ,z ) (s, ɛ ) (s,a,y ) (s,yy ), (q,a,y ) (q, ɛ ) (s,b,y ) (q, Y ), (q,b,z ) (s,z ) Geben Sie die Sprache L ɛ, die von A durch leeren Stack erkannt wird, an und begründen Sie Ihre Aussage. Ein formaler Beweis ist hierzu nicht nötig Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

110 Aufgabe 5 d) Sei A = ({s, q}, {a, b}, {Y, Z }, δ, s, Z, {q}) der Kellerautomat mit der folgenden Übergangsrelation δ: (s,a,z ) (s,yz ), (s,ɛ,z ) (s, ɛ ) (s,a,y ) (s,yy ), (q,a,y ) (q, ɛ ) (s,b,y ) (q, Y ), (q,b,z ) (s,z ) Geben Sie die Sprache L ɛ, die von A durch leeren Stack erkannt wird, an und begründen Sie Ihre Aussage. Ein formaler Beweis ist hierzu nicht nötig. Lösung: Der Stack kann nur geleert werden, wenn sich der Kellerautomat in Zustand s befindet und keine Y s auf dem Stack liegen Wie bei Teilaufgabe c) überlegt, ist dies genau am Anfang der Fall und wenn beliebig oft ein Wort der Form a i ba i b mit i > 0 eingelesen wird Sei L = {a i ba i b i > 0}, dann ist L ɛ also genau L Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

111 Aufgabe 5 e) Geben Sie eine kontextfreie Grammatik für die Sprache L ɛ an Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

112 Aufgabe 5 e) Geben Sie eine kontextfreie Grammatik für die Sprache L ɛ an. Lösung: Theoretisch möglich mit Tripelkonstruktion Die Sprache ist jedoch hinreichend einfach, so dass direkt eine Grammatik angegeben werden kann L ɛ = L mit L = {a i ba i b i > 0} Kontextfreie Grammatik G = ({a, b}, {S, B}, S, R ) für L: R = {S abab, B aba b} Kontextfreie Grammatik G = ({a, b}, {S, B}, S, R) für L ɛ : R = {S ɛ SS abab, B aba b} Andrea Schumm - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE

Übungen zur Vorlesung Einführung in die Theoretische Informatik, Blatt 12 LÖSUNGEN

Übungen zur Vorlesung Einführung in die Theoretische Informatik, Blatt 12 LÖSUNGEN Universität Heidelberg / Institut für Informatik 7. Juli 24 Prof. Dr. Klaus Ambos-Spies Nadine Losert Übungen zur Vorlesung Einführung in die Theoretische Informatik, Blatt 2 LÖSUNGEN Aufgabe Verwenden

Mehr

Übungsblatt 7. Vorlesung Theoretische Grundlagen der Informatik im WS 16/17

Übungsblatt 7. Vorlesung Theoretische Grundlagen der Informatik im WS 16/17 Institut für Theoretische Informatik Lehrstuhl Prof. Dr. D. Wagner Übungsblatt 7 Vorlesung Theoretische Grundlagen der Informatik im W 16/17 Ausgabe 17. Januar 2017 Abgabe 31. Januar 2017, 11:00 Uhr (im

Mehr

Tutoraufgabe 1 (ɛ-produktionen):

Tutoraufgabe 1 (ɛ-produktionen): Prof aa Dr J Giesl Formale Systeme, Automaten, Prozesse SS 2010 M Brockschmidt, F Emmes, C Fuhs, C Otto, T Ströder Hinweise: Die Hausaufgaben sollen in Gruppen von je 2 Studierenden aus dem gleichen Tutorium

Mehr

Einführung in die Theoretische Informatik

Einführung in die Theoretische Informatik Technische Universität München Fakultät für Informatik Prof. Tobias Nipkow, Ph.D. Dr. Werner Meixner, Dr. Alexander Krauss Sommersemester 2010 Lösungsblatt 7 15. Juni 2010 Einführung in die Theoretische

Mehr

Kontextfreie Sprachen

Kontextfreie Sprachen Kontextfreie Sprachen Bedeutung: Programmiersprachen (Compilerbau) Syntaxbäume Chomsky-Normalform effiziente Lösung des Wortproblems (CYK-Algorithmus) Grenzen kontextfreier Sprachen (Pumping Lemma) Charakterisierung

Mehr

Hauptklausur zur Vorlesung Theoretische Grundlagen der Informatik Wintersemester 2011/2012

Hauptklausur zur Vorlesung Theoretische Grundlagen der Informatik Wintersemester 2011/2012 Institut für Theoretische Informatik Lehrstuhl Prof. Dr. D. Wagner Hauptklausur zur Vorlesung Theoretische Grundlagen der Informatik Wintersemester 2011/2012 Hier Aufkleber mit Name und Matrikelnr. anbringen

Mehr

Grundlagen der Theoretischen Informatik

Grundlagen der Theoretischen Informatik Grundlagen der Theoretischen Informatik 4. Kellerautomaten und kontextfreie Sprachen (III) 17.06.2015 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Übersicht 1. Motivation 2. Terminologie

Mehr

Theoretische Grundlagen der Informatik

Theoretische Grundlagen der Informatik Theoretische Grundlagen der Informatik Vorlesung am 12.01.2012 INSTITUT FÜR THEORETISCHE 0 KIT 12.01.2012 Universität des Dorothea Landes Baden-Württemberg Wagner - Theoretische und Grundlagen der Informatik

Mehr

2. Übungsblatt 6.0 VU Theoretische Informatik und Logik

2. Übungsblatt 6.0 VU Theoretische Informatik und Logik 2. Übungsblatt 6.0 VU Theoretische Informatik und Logik 25. September 2013 Aufgabe 1 Geben Sie jeweils eine kontextfreie Grammatik an, welche die folgenden Sprachen erzeugt, sowie einen Ableitungsbaum

Mehr

Übungsaufgaben zu Formalen Sprachen und Automaten

Übungsaufgaben zu Formalen Sprachen und Automaten Universität Freiburg PD Dr. A. Jakoby Sommer 27 Übungen zum Repetitorium Informatik III Übungsaufgaben zu Formalen Sprachen und Automaten. Untersuchen Sie das folgende Spiel: A B x x 2 x 3 C D Eine Murmel

Mehr

Rekursiv aufzählbare Sprachen

Rekursiv aufzählbare Sprachen Kapitel 4 Rekursiv aufzählbare Sprachen 4.1 Grammatiken und die Chomsky-Hierarchie Durch Zulassung komplexer Ableitungsregeln können mit Grammatiken größere Klassen als die kontextfreien Sprachen beschrieben

Mehr

Grundlagen der Theoretischen Informatik

Grundlagen der Theoretischen Informatik 1 Grundlagen der Theoretischen Informatik Till Mossakowski Fakultät für Informatik Otto-von-Guericke Universität Magdeburg Wintersemester 2014/15 2 Kontextfreie Grammatiken Definition: Eine Grammatik G

Mehr

Maike Buchin 18. Februar 2016 Stef Sijben. Probeklausur. Theoretische Informatik. Bearbeitungszeit: 3 Stunden

Maike Buchin 18. Februar 2016 Stef Sijben. Probeklausur. Theoretische Informatik. Bearbeitungszeit: 3 Stunden Maike Buchin 8. Februar 26 Stef Sijben Probeklausur Theoretische Informatik Bearbeitungszeit: 3 Stunden Name: Matrikelnummer: Studiengang: Geburtsdatum: Hinweise: Schreibe die Lösung jeder Aufgabe direkt

Mehr

Einführung in die Theoretische Informatik

Einführung in die Theoretische Informatik Technische Universität München akultät für Informatik Prof. Tobias Nipkow, Ph.D. Dr. Werner Meixner, Dr. Alexander Krauss Sommersemester 2010 Lösungsblatt 6 11. Juni 2010 Einführung in die Theoretische

Mehr

Universität des Saarlandes Theoretische Informatik (WS 2015) Lösungsvorschlag 4

Universität des Saarlandes Theoretische Informatik (WS 2015) Lösungsvorschlag 4 Universität des Saarlandes Theoretische Informatik (WS 2015) Fakultät 6.2 Informatik Team der Tutoren Lösungsvorschlag 4 Aufgabe 4.1 (16 Punkte) Klassifizieren Sie die folgenden Sprachen nach den Kategorien

Mehr

Ein Satz der deutschen Sprache besitzt ein Subjekt, ein Prädikat und ein Objekt (SPO).

Ein Satz der deutschen Sprache besitzt ein Subjekt, ein Prädikat und ein Objekt (SPO). 1 Grammatiken Autor: Tilman Blumenbach Letzte Änderung: 28. Juni 2012 18:15 Ziel von Grammatiken Wollen die Struktur von Sprachen modellieren und charakterisieren. Beispiel Ein Satz der deutschen Sprache

Mehr

A : z z A : z z : ( z, x, z ) δ

A : z z A : z z : ( z, x, z ) δ Informatik IV, SoS2003 1 Definition 1.1 Ein Quintupel A =(X,Z,z 0,δ,Z f )heißt nichtdeterministischer endlicher Automat (NEA): 1. X, Z sind endliche nichtleere Mengen. 2. z 0 Z 4. δ Z X Z Informatik IV,

Mehr

Umformung NTM DTM. Charakterisierung rek. aufz. Spr. Chomsky-3-Grammatiken (T5.3) Chomsky-0-Grammatik Rek. Aufz.

Umformung NTM DTM. Charakterisierung rek. aufz. Spr. Chomsky-3-Grammatiken (T5.3) Chomsky-0-Grammatik Rek. Aufz. Chomsky-0-Grammatik Rek. Aufz. Satz T5.2.2: Wenn L durch eine Chomsky-0- Grammatik G beschrieben wird, gibt es eine NTM M, die L akzeptiert. Beweis: Algo von M: Schreibe S auf freie Spur. Iteriere: Führe

Mehr

3 kontextfreie Sprachen

3 kontextfreie Sprachen Hans U. Simon Bochum, den 7.10.2008 Annette Ilgen Beispiele zur Vorlesung Theoretische Informatik WS 08/09 Vorbemerkung: Hier findet sich eine Sammlung von Beispielen und Motivationen zur Vorlesung Theoretische

Mehr

Einführung in die Theoretische Informatik

Einführung in die Theoretische Informatik echnische Universität München Fakultät für Informatik Prof. obias Nipkow, Ph.D. ascha öhme, Lars Noschinski ommersemester 2011 Lösungsblatt 5 6. Juni 2011 Einführung in die heoretische Informatik Hinweis:

Mehr

Grundbegriffe der Informatik

Grundbegriffe der Informatik Grundbegriffe der Informatik Tutorium 4 26..25 INSTITUT FÜR THEORETISCHE INFORMATIK KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu

Mehr

kontextfreie Grammatiken Theoretische Informatik kontextfreie Grammatiken kontextfreie Grammatiken Rainer Schrader 14. Juli 2009 Gliederung

kontextfreie Grammatiken Theoretische Informatik kontextfreie Grammatiken kontextfreie Grammatiken Rainer Schrader 14. Juli 2009 Gliederung Theoretische Informatik Rainer Schrader Zentrum für Angewandte Informatik Köln 14. Juli 2009 1 / 40 2 / 40 Beispiele: Aus den bisher gemachten Überlegungen ergibt sich: aus der Chomsky-Hierarchie bleiben

Mehr

Einführung in Berechenbarkeit, Formale Sprachen und Komplexitätstheorie

Einführung in Berechenbarkeit, Formale Sprachen und Komplexitätstheorie Einführung in Berechenbarkeit, Formale Sprachen und Komplexitätstheorie Wintersemester 2005/2006 07.02.2006 28. und letzte Vorlesung 1 Die Chomsky-Klassifizierung Chomsky-Hierachien 3: Reguläre Grammatiken

Mehr

Definition (Reguläre Ausdrücke) Sei Σ ein Alphabet, dann gilt: (ii) ε ist ein regulärer Ausdruck über Σ.

Definition (Reguläre Ausdrücke) Sei Σ ein Alphabet, dann gilt: (ii) ε ist ein regulärer Ausdruck über Σ. Reguläre Ausdrücke Definition (Reguläre Ausdrücke) Sei Σ ein Alphabet, dann gilt: (i) ist ein regulärer Ausdruck über Σ. (ii) ε ist ein regulärer Ausdruck über Σ. (iii) Für jedes a Σ ist a ein regulärer

Mehr

(Prüfungs-)Aufgaben zu formale Sprachen

(Prüfungs-)Aufgaben zu formale Sprachen (Prüfungs-)Aufgaben zu formale Sprachen (siehe auch bei den Aufgaben zu endlichen Automaten) 1) Eine Grammatik G sei gegeben durch: N = {S, A}, T = {a, b, c, d}, P = { (S, Sa), (S, ba), (A, ba), (A, c),

Mehr

Grundbegriffe der Informatik Tutorium 12

Grundbegriffe der Informatik Tutorium 12 Grundbegriffe der Informatik Tutorium 12 Tutorium Nr. 16 Philipp Oppermann 28. Januar 2015 KARLSRUHER INSTITUT FÜR TECHNOLOGIE KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum

Mehr

Kellerautomat (1/4) Kellerautomat (2/4) Kellerautomat (3/4) Kellerautomat (4/4)

Kellerautomat (1/4) Kellerautomat (2/4) Kellerautomat (3/4) Kellerautomat (4/4) Kellerautomat (1/4) Kellerautomat (2/4) Kontextfreie Grammatiken können von Kellerautomaten (Push Down Automata, PDA) erkannt werden PDAs sind eine Erweiterung der endlichen Automaten um ein einfaches

Mehr

Kapitel: Die Chomsky Hierarchie. Die Chomsky Hierarchie 1 / 14

Kapitel: Die Chomsky Hierarchie. Die Chomsky Hierarchie 1 / 14 Kapitel: Die Chomsky Hierarchie Die Chomsky Hierarchie 1 / 14 Allgemeine Grammatiken Definition Eine Grammatik G = (Σ, V, S, P) besteht aus: einem endlichen Alphabet Σ, einer endlichen Menge V von Variablen

Mehr

Formale Sprachen. Script, Kapitel 4. Grammatiken

Formale Sprachen. Script, Kapitel 4. Grammatiken Formale Sprachen Grammatiken Script, Kapitel 4 erzeugen Sprachen eingeführt von Chomsky zur Beschreibung natürlicher Sprache bedeutend für die Syntaxdefinition und -analyse von Programmiersprachen Automaten

Mehr

Theorie der Informatik. Theorie der Informatik. 6.1 Einführung. 6.2 Alphabete und formale Sprachen. 6.3 Grammatiken. 6.4 Chomsky-Hierarchie

Theorie der Informatik. Theorie der Informatik. 6.1 Einführung. 6.2 Alphabete und formale Sprachen. 6.3 Grammatiken. 6.4 Chomsky-Hierarchie Theorie der Informatik 17. März 2014 6. Formale Sprachen und Grammatiken Theorie der Informatik 6. Formale Sprachen und Grammatiken Malte Helmert Gabriele Röger Universität Basel 17. März 2014 6.1 Einführung

Mehr

Einführung in die Theoretische Informatik

Einführung in die Theoretische Informatik Technische Universität München Fakultät für Informatik Prof. Tobias Nipkow, Ph.D. Sascha Böhme, Lars Noschinski Sommersemester 2 Lösungsblatt 23. Mai 2 Einführung in die Theoretische Informatik Hinweis:

Mehr

Theoretische Grundlagen der Informatik

Theoretische Grundlagen der Informatik Theoretische Grundlagen der Informatik 0 KIT 18.10.2016 Universität des Dorothea Landes Baden-Württemberg Wagner - Theoretische und Grundlagen der Informatik nationales Forschungszentrum Vorlesung in am

Mehr

Klausur zur Vorlesung Grundbegriffe der Informatik 5. März 2014

Klausur zur Vorlesung Grundbegriffe der Informatik 5. März 2014 Klausur zur Vorlesung Grundbegriffe der Informatik 5. März 2014 Klausurnummer Nachname: Vorname: Matr.-Nr.: Aufgabe 1 2 3 4 5 6 7 max. Punkte 6 8 4 7 5 6 8 tats. Punkte Gesamtpunktzahl: Note: Punkte Aufgabe

Mehr

2. Teilklausur zur Vorlesung Grundlagen der Theoretischen Informatik

2. Teilklausur zur Vorlesung Grundlagen der Theoretischen Informatik 2. Teilklausur zur Vorlesung Grundlagen der Theoretischen Informatik Hinweise Ulrich Furbach Christian Schwarz Markus Kaiser Arbeitsgruppe Künstliche Intelligenz Fachbereich Informatik, Universität Koblenz-Landau

Mehr

Einführung in die Theoretische Informatik

Einführung in die Theoretische Informatik Technische Universität München Fakultät für Informatik Prof. Tobias Nipkow, Ph.D. Dr. Werner Meixner, Dr. Alexander Krauss Sommersemester 2 Lösungsblatt 3. April 2 Einführung in die Theoretische Informatik

Mehr

Grundlagen der Theoretischen Informatik Musterlösungen zu ausgewählten Übungsaufgaben

Grundlagen der Theoretischen Informatik Musterlösungen zu ausgewählten Übungsaufgaben Dieses Dokument soll mehr dazu dienen, Beispiele für die formal korrekt mathematische Bearbeitung von Aufgaben zu liefern, als konkrete Hinweise auf typische Klausuraufgaben zu liefern. Die hier gezeigten

Mehr

Theoretische Informatik: Berechenbarkeit und Formale Sprachen

Theoretische Informatik: Berechenbarkeit und Formale Sprachen Prof. Dr. F. Otto 24.03.2011 Fachbereich Elektrotechnik/Informatik Universität Kassel Klausur zur Vorlesung Theoretische Informatik: Berechenbarkeit und Formale Sprachen WS 2010/2011 Name:................................

Mehr

Pumping-Lemma. Beispiel. Betrachte die kontextsensitive Grammatik G mit den Produktionen. S asbc abc CB HB HB HC HC BC ab ab bb bb bc bc cc cc.

Pumping-Lemma. Beispiel. Betrachte die kontextsensitive Grammatik G mit den Produktionen. S asbc abc CB HB HB HC HC BC ab ab bb bb bc bc cc cc. Pumping-Lemma Beispiel Betrachte die kontextsensitive Grammatik G mit den Produktionen S asbc abc CB HB HB HC HC BC ab ab bb bb bc bc cc cc. Sie erzeugt z.b. das Wort aabbcc: S asbc aabcbc aabhbc aabhcc

Mehr

Grundbegriffe der Informatik

Grundbegriffe der Informatik Grundbegriffe der Informatik Tutorium 27 29..24 FAKULTÄT FÜR INFORMATIK KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu Definition

Mehr

8. Turingmaschinen und kontextsensitive Sprachen

8. Turingmaschinen und kontextsensitive Sprachen 8. Turingmaschinen und kontextsensitive Sprachen Turingmaschinen (TM) von A. Turing vorgeschlagen, um den Begriff der Berechenbarkeit formal zu präzisieren. Intuitiv: statt des Stacks bei Kellerautomaten

Mehr

4.2 Die Chomsky Normalform

4.2 Die Chomsky Normalform 4.2 Die Chomsky Normalform Für algorithmische Problemstellungen (z.b. das Wortproblem) aber auch für den Nachweis von Eigenschaften kontextfreier Sprachen ist es angenehm, von CFG in Normalformen auszugehen.

Mehr

Deterministischer Kellerautomat (DPDA)

Deterministischer Kellerautomat (DPDA) Deterministische Kellerautomaten Deterministischer Kellerautomat (DPDA) Definition Ein Septupel M = (Σ,Γ, Z,δ, z 0,#, F) heißt deterministischer Kellerautomat (kurz DPDA), falls gilt: 1 M = (Σ,Γ, Z,δ,

Mehr

5.7 Kontextfreie Grammatiken und Kellerautomaten

5.7 Kontextfreie Grammatiken und Kellerautomaten 130 5.7 Kontextfreie Grammatiken und Kellerautomaten Im letzten Abschnitt haben wir gesehen, dass wir reguläre Sprachen auch mit Hilfe von endlichen Automaten charakterisieren können. Jetzt wollen wir

Mehr

Algorithmen mit konstantem Platzbedarf: Die Klasse REG

Algorithmen mit konstantem Platzbedarf: Die Klasse REG Algorithmen mit konstantem Platzbedarf: Die Klasse REG Sommerakademie Rot an der Rot AG 1 Wieviel Platz brauchen Algorithmen wirklich? Daniel Alm Institut für Numerische Simulation Universität Bonn August

Mehr

1. Klausur zur Vorlesung Informatik III Wintersemester 2004/2005

1. Klausur zur Vorlesung Informatik III Wintersemester 2004/2005 Universität Karlsruhe Theoretische Informatik Fakultät für Informatik WS 2004/05 ILKD Prof. Dr. D. Wagner 24. Februar 2005 1. Klausur zur Vorlesung Informatik III Wintersemester 2004/2005 Aufkleber Beachten

Mehr

Motivation natürliche Sprachen

Motivation natürliche Sprachen Motivation natürliche Sprachen (Satz) (Substantivphrase)(Verbphrase) (Satz) (Substantivphrase)(Verbphrase)(Objektphrase) (Substantivphrase) (Artikel)(Substantiv) (Verbphrase) (Verb)(Adverb) (Substantiv)

Mehr

11.1 Kontextsensitive und allgemeine Grammatiken

11.1 Kontextsensitive und allgemeine Grammatiken Theorie der Informatik 7. April 2014 11. Kontextsensitive und Typ-0-Sprachen Theorie der Informatik 11. Kontextsensitive und Typ-0-Sprachen 11.1 Kontextsensitive und allgemeine Grammatiken Malte Helmert

Mehr

Grundlagen der Informatik II

Grundlagen der Informatik II Grundlagen der Informatik II Dr.-Ing. Sven Hellbach S. Hellbach Grundlagen der Informatik II Abbildungen entnommen aus: Dirk W. Hoffmann: Theoretische Informatik; Hanser Verlag 2011, ISBN: 978-3-446-42854-6

Mehr

a n b n c n ist kontextsensitiv kontextfreie Sprachen (Typ 2) Abschnitt 3.3 kontextfreie Sprachen: Abschlusseigenschaften Chomsky NF und binäre Bäume

a n b n c n ist kontextsensitiv kontextfreie Sprachen (Typ 2) Abschnitt 3.3 kontextfreie Sprachen: Abschlusseigenschaften Chomsky NF und binäre Bäume Kap 3: Grammatiken Chomsky-Hierarchie 32 Kap 3: Grammatiken Kontextfreie 33 a n b n c n ist kontextsensiti Beispiel 3111 modifizieren: Σ = {a, b, c G = (Σ, V, P, X ) V = {X, Y, Z P : X ε X axyz ZY YZ ay

Mehr

1 Σ endliches Terminalalphabet, 2 V endliche Menge von Variablen (mit V Σ = ), 3 P (V (Σ ΣV )) {(S, ε)} endliche Menge von Regeln,

1 Σ endliches Terminalalphabet, 2 V endliche Menge von Variablen (mit V Σ = ), 3 P (V (Σ ΣV )) {(S, ε)} endliche Menge von Regeln, Theorie der Informatik 8. März 25 8. Reguläre Sprachen I Theorie der Informatik 8. Reguläre Sprachen I 8. Reguläre Grammatiken Malte Helmert Gabriele Röger 8.2 DFAs Universität Basel 8. März 25 8.3 NFAs

Mehr

Einführung in die Theoretische Informatik

Einführung in die Theoretische Informatik Einführung in die Theoretische Informatik Johannes Köbler Institut für Informatik Humboldt-Universität zu Berlin WS 2011/12 Deterministische Kellerautomaten Von besonderem Interesse sind kontextfreie Sprachen,

Mehr

Chomsky-Grammatiken 16. Chomsky-Grammatiken

Chomsky-Grammatiken 16. Chomsky-Grammatiken Chomsky-Grammatiken 16 Chomsky-Grammatiken Ursprünglich von Chomsky in den 1950er Jahren eingeführt zur Beschreibung natürlicher Sprachen. Enge Verwandschaft zu Automaten Grundlage wichtiger Softwarekomponenten

Mehr

Musterlösung zur Hauptklausur Theoretische Grundlagen der Informatik Wintersemester 2013/14

Musterlösung zur Hauptklausur Theoretische Grundlagen der Informatik Wintersemester 2013/14 Institut für Theoretische Informatik Prof. Dr. Jörn Müller-Quade Musterlösung zur Hauptklausur Theoretische Grundlagen der Informatik Wintersemester 23/4 Vorname Nachname Matrikelnummer Hinweise Für die

Mehr

Theoretische Grundlagen der Informatik

Theoretische Grundlagen der Informatik Theoretische Grundlagen der Informatik Vorlesung am 10.01.2012 INSTITUT FÜR THEORETISCHE 0 KIT 12.01.2012 Universität des Dorothea Landes Baden-Württemberg Wagner - Theoretische und Grundlagen der Informatik

Mehr

Grundbegriffe der Informatik Tutorium 11

Grundbegriffe der Informatik Tutorium 11 Grundbegriffe der Informatik Tutorium 11 Tutorium Nr. 32 Philipp Oppermann 29. Januar 2014 KARLSRUHER INSTITUT FÜR TECHNOLOGIE KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum

Mehr

I.5. Kontextfreie Sprachen

I.5. Kontextfreie Sprachen I.5. Kontextfreie prachen Zieht man in Betracht, dass BNF-yteme gerade so beschaffen sind, dass auf der linken eite immer genau ein Nichtterminal steht, so sind das also gerade die Ableitungsregeln einer

Mehr

Beschreibungskomplexität von Grammatiken Definitionen

Beschreibungskomplexität von Grammatiken Definitionen Beschreibungskomplexität von Grammatiken Definitionen Für eine Grammatik G = (N, T, P, S) führen wir die folgenden drei Komplexitätsmaße ein: Var(G) = #(N), Prod(G) = #(P ), Symb(G) = ( α + β + 1). α β

Mehr

Klausuraufgaben. 1. Wir betrachten die folgende Sprache über dem Alphabet {a, b}

Klausuraufgaben. 1. Wir betrachten die folgende Sprache über dem Alphabet {a, b} Klausuraufgaben 1. Wir betrachten die folgende Sprache über dem Alphabet {a, b} L = {a n b m n > 0, m > 0, n m} a) Ist L kontextfrei? Wenn ja, geben Sie eine kontextfreie Grammatik für L an. Wenn nein,

Mehr

Universität Karlsruhe Institut für Theoretische Informatik. Klausur: Informatik III

Universität Karlsruhe Institut für Theoretische Informatik. Klausur: Informatik III Name Vorname Matrikelnummer Universität Karlsruhe Institut für Theoretische Informatik o. Prof. Dr. P. Sanders 10.4.2007 Klausur: Informatik III Aufgabe 1. Multiple Choice 11 Punkte Aufgabe 2. Minimalautomaten

Mehr

DKA und dkfs (mit Übungen)

DKA und dkfs (mit Übungen) DKA und dkfs (mit Übungen) Prof.Dr.Christian Wagenknecht mit Beiträgen von Herrn Dr.Michael Hielscher Prof.Dr.Chr. Wagenknecht Formale Sprachen und Automaten 1/15 kurz DKA Analog zu endlichen Automaten

Mehr

Formale Sprachen und Automaten: Tutorium Nr. 8

Formale Sprachen und Automaten: Tutorium Nr. 8 Formale Sprachen und Automaten: Tutorium Nr. 8 15. Juni 2013 Übersicht 1 Nachtrag 2 Besprechung von Übungsblatt 7 Aufgabe 1 Aufgabe 2 Aufgabe 3 3 CFG PDA Definitionen Ein Beispiel! Aufgabe 4 Der PDA als

Mehr

Endliche Sprachen. Folgerung: Alle endlichen Sprachen sind regulär. Beweis: Sei L={w 1,,w n } Σ*. Dann ist w 1 +L+w n ein regulärer Ausdruck für

Endliche Sprachen. Folgerung: Alle endlichen Sprachen sind regulär. Beweis: Sei L={w 1,,w n } Σ*. Dann ist w 1 +L+w n ein regulärer Ausdruck für Endliche Sprachen Folgerung: Alle endlichen Sprachen sind regulär. Beweis: Sei L={w 1,,w n } Σ*. Dann ist w 1 +L+w n ein regulärer Ausdruck für L. 447 Zusammenfassung Beschreibungsformen für reguläre Sprachen:

Mehr

(e) E = {(ba n b) n n N 0 }

(e) E = {(ba n b) n n N 0 } Prof. J. Esparza Technische Universität München S. Sickert, J. Krämer KEINE ABGABE Einführung in die theoretische Informatik Sommersemester 2017 Übungsblatt 1 Übungsblatt Wir unterscheiden zwischen Übungs-

Mehr

Informatik III. Christian Schindelhauer Wintersemester 2006/07 5. Vorlesung

Informatik III. Christian Schindelhauer Wintersemester 2006/07 5. Vorlesung Informatik III Christian Schindelhauer Wintersemester 2006/07 5. Vorlesung 09.11.2006 schindel@informatik.uni-freiburg.de 1 Äquivalenzklassen Definition und Beispiel Definition Für eine Sprache L Σ* bezeichnen

Mehr

WS06/07 Referentin: Katharina Blinova. Formale Sprachen. Hauptseminar Intelligente Systeme Dozent: Prof. Dr. J. Rolshoven

WS06/07 Referentin: Katharina Blinova. Formale Sprachen. Hauptseminar Intelligente Systeme Dozent: Prof. Dr. J. Rolshoven WS06/07 Referentin: Katharina Blinova Formale Sprachen Hauptseminar Intelligente Systeme Dozent: Prof. Dr. J. Rolshoven 1. Allgemeines 2. Formale Sprachen 3. Formale Grammatiken 4. Chomsky-Hierarchie 5.

Mehr

Automaten und formale Sprachen Klausurvorbereitung

Automaten und formale Sprachen Klausurvorbereitung Automaten und formale Sprachen Klausurvorbereitung Rami Swailem Mathematik Naturwissenschaften und Informatik FH-Gießen-Friedberg Inhaltsverzeichnis 1 Definitionen 2 2 Altklausur Jäger 2006 8 1 1 Definitionen

Mehr

Grammatiken. Eine Grammatik G mit Alphabet Σ besteht aus: Variablen V. Startsymbol S V. Kurzschreibweise G = (V, Σ, P, S)

Grammatiken. Eine Grammatik G mit Alphabet Σ besteht aus: Variablen V. Startsymbol S V. Kurzschreibweise G = (V, Σ, P, S) Grammatiken Eine Grammatik G mit Alphabet Σ besteht aus: Variablen V Startsymbol S V Produktionen P ( (V Σ) \ Σ ) (V Σ) Kurzschreibweise G = (V, Σ, P, S) Schreibweise für Produktion (α, β) P: α β 67 /

Mehr

Berechenbarkeit und Komplexität

Berechenbarkeit und Komplexität Berechenbarkeit und Komplexität Prof. Dr. Dietrich Kuske FG Theoretische Informatik, TU Ilmenau Wintersemester 2010/11 1 Organisatorisches zur Vorlesung Informationen, aktuelle Version der Folien und Übungsblätter

Mehr

Satz 90 Sei A = (Q, Σ, δ, q 0, F ) ein DFA. Der Zeitaufwand des obigen Minimalisierungsalgorithmus ist O( Q 2 Σ ).

Satz 90 Sei A = (Q, Σ, δ, q 0, F ) ein DFA. Der Zeitaufwand des obigen Minimalisierungsalgorithmus ist O( Q 2 Σ ). Satz 90 Sei A = (Q, Σ, δ, q 0, F ) ein DFA. Der Zeitaufwand des obigen Minimalisierungsalgorithmus ist O( Q 2 Σ ). Beweis: Für jedes a Σ muss jede Position in der Tabelle nur konstant oft besucht werden.

Mehr

Theoretische Grundlagen der Informatik

Theoretische Grundlagen der Informatik Theoretische Grundlagen der Informatik 0 KIT 10.11.2011 Universität des Dorothea Landes Baden-Württemberg Wagner - Theoretische und Grundlagen der Informatik nationales Forschungszentrum Vorlesung in am

Mehr

Grundlagen der Informatik II

Grundlagen der Informatik II Grundlagen der Informatik II Tutorium 2 Professor Dr. Hartmut Schmeck Miniaufgabe * bevor es losgeht * Finden Sie die drei Fehler in der Automaten- Definition. δ: A = E, S, δ, γ, s 0, F, E = 0,1, S = s

Mehr

Das Postsche Korrespondenzproblem

Das Postsche Korrespondenzproblem Das Postsche Korrespondenzproblem Eine Instanz des PKP ist eine Liste von Paaren aus Σ Σ : (v 1, w 1 ),..., (v n, w n ) Eine Lösung ist eine Folge i 1,..., i k von Indizes 1 i j n mit v i1... v ik = w

Mehr

Grammatik Prüfung möglich, ob eine Zeichenfolge zur Sprache gehört oder nicht

Grammatik Prüfung möglich, ob eine Zeichenfolge zur Sprache gehört oder nicht Zusammenhang: Formale Sprache Grammatik Formale Sprache kann durch Grammatik beschrieben werden. Zur Sprache L = L(G) gehören nur diejenigen Kombinationen der Zeichen des Eingabealphabets, die durch die

Mehr

Berechenbarkeitstheorie 7. Vorlesung

Berechenbarkeitstheorie 7. Vorlesung 1 Berechenbarkeitstheorie Dr. Institut für Mathematische Logik und Grundlagenforschung WWU Münster W 15/16 Alle Folien unter Creative Commons Attribution-NonCommercial 3.0 Unported Lizenz. Das Pumpinglemma

Mehr

Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I

Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I Vorlesung Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I Bernhard Beckert Institut für Informatik Sommersemester 2007 B. Beckert Grundlagen d. Theoretischen Informatik:

Mehr

Formale Sprachen und Automaten

Formale Sprachen und Automaten Turingmaschinen Formale Sprachen und Automaten Das Konzept der Turingmaschine wurde von dem Englischen Mathematiker Alan M. Turing (1912-1954) ersonnen. Turingmaschinen, Typ-0- und Typ-1-Grammatiken Der

Mehr

Theorie der Informatik

Theorie der Informatik Theorie der Informatik 8. Reguläre Sprachen II Malte Helmert Gabriele Röger Universität Basel 24. März 24 Pumping Lemma Pumping Lemma: Motivation Man kann zeigen, dass eine Sprache regulär ist, indem man

Mehr

Frank Heitmann 2/47. 1 Ein PDA beginnt im Startzustand z 0 und mit im Keller. 2 Ist der Automat

Frank Heitmann 2/47. 1 Ein PDA beginnt im Startzustand z 0 und mit im Keller. 2 Ist der Automat Formale Grundlagen der Informatik 1 Kapitel 5 Über reguläre Sprachen hinaus und (Teil 2) Frank Heitmann heitmann@informatik.uni-hamburg.de 21. April 2015 Der Kellerautomat - Formal Definition (Kellerautomat

Mehr

Theoretische Informatik 2

Theoretische Informatik 2 Theoretische Informatik 2 Johannes Köbler Institut für Informatik Humboldt-Universität zu Berlin WS 2009/10 Die Chomsky-Hierarchie Definition Sei G = (V, Σ, P, S) eine Grammatik. 1 G heißt vom Typ 3 oder

Mehr

Alphabet, formale Sprache

Alphabet, formale Sprache n Alphabet Alphabet, formale Sprache l nichtleere endliche Menge von Zeichen ( Buchstaben, Symbole) n Wort über einem Alphabet l endliche Folge von Buchstaben, die auch leer sein kann ( ε leere Wort) l

Mehr

Informatik IV Theoretische Informatik: Formale Sprachen und Automaten, Berechenbarkeit und NP-Vollständigkeit. Zugangsnummer: 3288

Informatik IV Theoretische Informatik: Formale Sprachen und Automaten, Berechenbarkeit und NP-Vollständigkeit.  Zugangsnummer: 3288 Informatik IV Theoretische Informatik: Formale Sprachen und Automaten, Berechenbarkeit und NP-Vollständigkeit Wiederholung Kapitel 2 http://pingo.upb.de Zugangsnummer: 3288 Dozent: Jun.-Prof. Dr. D. Baumeister

Mehr

Grundlagen der Theoretischen Informatik

Grundlagen der Theoretischen Informatik Grundlagen der Theoretischen Informatik Sommersemester 2016 20.04.2016 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Bis jetzt 1. Terminologie 2. Endliche Automaten und reguläre Sprachen

Mehr

Theoretische Informatik Mitschrift

Theoretische Informatik Mitschrift 6. Kontextfreie Sprachen Theoretische Informatik Mitschrift Typ-2-Grammatiken: Regeln der Form A mit A N und N * Beispiel: Grammatik für arithmetische Ausdrücke G= {E,T,F },{,,,,a}, P, E, P : E ET T T

Mehr

Theoretische Informatik. Grammatiken. Grammatiken. Grammatiken. Rainer Schrader. 9. Juli 2009

Theoretische Informatik. Grammatiken. Grammatiken. Grammatiken. Rainer Schrader. 9. Juli 2009 Theoretische Informatik Rainer Schrader Institut für Informatik 9. Juli 2009 1 / 41 2 / 41 Gliederung die Chomsky-Hierarchie Typ 0- Typ 3- Typ 1- Die Programmierung eines Rechners in einer höheren Programmiersprache

Mehr

Theoretische Informatik: Berechenbarkeit und Formale Sprachen

Theoretische Informatik: Berechenbarkeit und Formale Sprachen Prof. Dr. F. Otto 26.09.2011 Fachbereich Elektrotechnik/Informatik Universität Kassel Klausur zur Vorlesung Theoretische Informatik: Berechenbarkeit und Formale Sprachen SS 2011 Name:................................

Mehr

2.4 Kontextsensitive und Typ 0-Sprachen

2.4 Kontextsensitive und Typ 0-Sprachen Definition 2.43 Eine Typ 1 Grammatik ist in Kuroda Normalform, falls alle Regeln eine der folgenden 4 Formen haben: Dabei: A, B, C, D V und a Σ. Satz 2.44 A a, A B, A BC, AB CD. Für jede Typ 1 Grammatik

Mehr

Aufgabentypen: Spickerblatt: kontextfrei (Typ 2): zusätzlich: u ist eine!"# v 1

Aufgabentypen: Spickerblatt: kontextfrei (Typ 2): zusätzlich: u ist eine!# v 1 Info4 Stoff Aufgabentypen: Grammatik CH einordnen NFA DFA Grammatik Chomsky-NF CYK-Algorithmus: Tabelle / Ableitungsbäume Grammatik streng kf. Grammatik Grammatik Pumping Lemma Beweis, dass Gr. nicht reg,

Mehr

Kapitel 2: Formale Sprachen Gliederung

Kapitel 2: Formale Sprachen Gliederung Gliederung. Einleitung und Grundbegriffe. Endliche Automaten 2. Formale Sprachen 3. Berechnungstheorie 4. Komplexitätstheorie 2.. Chomsky-Grammatiken 2.2. Reguläre Sprachen Reguläre Grammatiken, ND-Automaten

Mehr

Algorithmen und Datenstrukturen I - Exkurs Formale Sprachen -

Algorithmen und Datenstrukturen I - Exkurs Formale Sprachen - Algorithmen und Datenstrukturen I - Exkurs Formale Sprachen - Thies Pfeiffer Technische Fakultät tpfeiffe@techfak.uni-bielefeld.de Vorlesung, Universität Bielefeld, Winter 2012/2013 1 / 1 Exkurs: Formale

Mehr

Formale Sprachen, Automaten, Compiler

Formale Sprachen, Automaten, Compiler Formale Sprachen, Automaten, Compiler Berufsakademie Lörrach, TIT06-3. Semester Übung 1 -> LÖSUNGSVORSCHLAG ÜA1.1. Die "normalen" Dezimalziffern, also Σ = { 0, 1,..., 9, ist sicher ein Alphabet, aber auch

Mehr

Grundlagen der Theoretischen Informatik

Grundlagen der Theoretischen Informatik Grundlagen der Theoretischen Informatik Sommersemester 2015 23.04.2015 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Bis jetzt 1. Terminologie 2. Endliche Automaten und reguläre Sprachen

Mehr

Was bisher geschah Alphabet, Wort, Sprache

Was bisher geschah Alphabet, Wort, Sprache Was bisher geschah Alphabet, Wort, Sprache Wörter w A Operationen: Spiegelung R, Verkettung Palindrome Relationen: Präfix, Infix, Postfix, lexikographische, quasi-lexikographische Ordnung Sprachen L A

Mehr

Typ-1-Sprachen. Satz 1 (Kuroda ( ) 1964)

Typ-1-Sprachen. Satz 1 (Kuroda ( ) 1964) Typ-1-Sprachen Satz 1 (Kuroda (1934-2009) 1964) Eine Sprache L hat Typ 1 (= ist kontextsensitiv) genau dann, wenn sie von einem nichtdeterministischen LBA erkannt wird. Beweis: Sei zunächst L Typ-1-Sprache.

Mehr

EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK

EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK Prof. Dr. Klaus Ambos-Spies Sommersemester 2012 17. DIE KONTEXTFREIEN SPRACHEN II: ABSCHLUSSEIGENSCHAFTEN, MASCHINENCHARAKTERISIERUNG, KOMPLEXITÄT Theoretische

Mehr

Universität Karlsruhe Institut für Theoretische Informatik. Klausur: Informatik III

Universität Karlsruhe Institut für Theoretische Informatik. Klausur: Informatik III Name Vorname Matrikelnummer Universität Karlsruhe Institut für Theoretische Informatik o. Prof. Dr. P. Sanders 26. Feb. 2007 Klausur: Informatik III Aufgabe 1. Multiple Choice 10 Punkte Aufgabe 2. Teilmengenkonstruktion

Mehr

Grundbegriffe. Grammatiken

Grundbegriffe. Grammatiken Grammatiken Grammatiken in der Informatik sind ähnlich wie Grammatiken für natürliche Sprachen ein Mittel, um alle syntaktisch korrekten Sätze (hier: Wörter) einer Sprache zu erzeugen. Beispiel: Eine vereinfachte

Mehr

Informatik III. Christian Schindelhauer Wintersemester 2006/07 6. Vorlesung

Informatik III. Christian Schindelhauer Wintersemester 2006/07 6. Vorlesung Informatik III Christian Schindelhauer Wintersemester 2006/07 6. Vorlesung 10.11.2006 schindel@informatik.uni-freiburg.de 1 Kapitel IV Kontextfreie Sprachen Kontextfreie Grammatik Informatik III 6. Vorlesung

Mehr

Theoretische Informatik Mitschrift

Theoretische Informatik Mitschrift Theoretische Informatik Mitschrift 2. Grammatiken und die Chomsky-Hierarchie Beispiel: Syntaxdefinition in BNF :=

Mehr

Lösungen zu Übungsblatt 4

Lösungen zu Übungsblatt 4 Lösungen zu Übungsblatt 4 Aufgabe 1 Sei Σ = {0,1,2} und u = 0102. Gesucht ist der minimale DEA der die Sprache L u = {w Σ u ist Teilwort von w} erkennt. Laut Vorlesung ist das Rückgrat des DEA von der

Mehr

Kontextfreie Grammatiken

Kontextfreie Grammatiken Kontextfreie Grammatiken Bisher haben wir verschiedene Automatenmodelle kennengelernt. Diesen Automaten können Wörter vorgelegt werden, die von den Automaten gelesen und dann akzeptiert oder abgelehnt

Mehr