F2 Zusammenfassung Letzte Tips zur Klausur
|
|
- Martha Albert
- vor 5 Jahren
- Abrufe
Transkript
1 F2 Zusammenfassung Letzte Tips zur Klausur Berndt Farwer FB Informatik, Uni HH F2-ommersemester 2001-(10.6.) p.1/15
2 Funktionen vs. Relationen Funktionen sind eindeutig, Relationen brauchen nicht eindeutig zu sein! Wo ist der Unterschied wichtig? F2-ommersemester 2001-(10.6.) p.2/15
3 Funktionen vs. Relationen Funktionen sind eindeutig, Relationen brauchen nicht eindeutig zu sein! Wo ist der Unterschied wichtig? In der Automatentheorie: Determinismus (DFA, DPDA), Nichtdeterminismus (NFA, NPDA) allgemeiner: In der Graphentheorie; überall, wo keine Eindeutigkeit gefordert ist (z.b., ). F2-ommersemester 2001-(10.6.) p.2/15
4 Was ist ein endlicher Automat? DFA A = (Z, Σ, δ, z 0, Z end ) δ meist grafisch dargestellt durch Zustandsübergangsdiagramm F2-ommersemester 2001-(10.6.) p.3/15
5 Was ist ein endlicher Automat? DFA A = (Z, Σ, δ, z 0, Z end ) δ meist grafisch dargestellt durch Zustandsübergangsdiagramm, z.b. a b 0 1 b F2-ommersemester 2001-(10.6.) p.3/15
6 Was ist ein endlicher Automat? DFA A = (Z, Σ, δ, z 0, Z end ) δ meist grafisch dargestellt durch Zustandsübergangsdiagramm, z.b. a b 0 1 b oder als Übergangstabelle F2-ommersemester 2001-(10.6.) p.3/15
7 Was ist ein endlicher Automat? DFA A = (Z, Σ, δ, z 0, Z end ) δ meist grafisch dargestellt durch Zustandsübergangsdiagramm, z.b. a b 0 1 b oder als Übergangstabelle : δ a b z 0 z 0 z 1 z 1 z 1 F2-ommersemester 2001-(10.6.) p.3/15
8 Eigenschaften DFA vs. NFA Zu jedem NFA existiert äquivalenter DFA. F2-ommersemester 2001-(10.6.) p.4/15
9 Eigenschaften DFA vs. NFA Zu jedem NFA existiert äquivalenter DFA. Idee: Merke in den Zuständen des Potenzautomaten, wo man sich im NFA aufhalten könnte. F2-ommersemester 2001-(10.6.) p.4/15
10 Eigenschaften DFA vs. NFA Zu jedem NFA existiert äquivalenter DFA. Idee: Merke in den Zuständen des Potenzautomaten, wo man sich im NFA aufhalten könnte. Endzustände sind diejenigen, in denen im NFA ein Endzustand erreichbar war. F2-ommersemester 2001-(10.6.) p.4/15
11 Eigenschaften DFA vs. NFA Zu jedem NFA existiert äquivalenter DFA. Idee: Merke in den Zuständen des Potenzautomaten, wo man sich im NFA aufhalten könnte. Endzustände sind diejenigen, in denen im NFA ein Endzustand erreichbar war. Vollständigkeit F2-ommersemester 2001-(10.6.) p.4/15
12 Eigenschaften DFA vs. NFA Zu jedem NFA existiert äquivalenter DFA. Idee: Merke in den Zuständen des Potenzautomaten, wo man sich im NFA aufhalten könnte. Endzustände sind diejenigen, in denen im NFA ein Endzustand erreichbar war. Vollständigkeit weitere Eigenschaften: (fast) buchstabierend F2-ommersemester 2001-(10.6.) p.4/15
13 Abschlußeigenschaften (Typ-3) Für reguläre Mengen R 1 und R 2, auch regulär: Vereinigung R 1 R 2 F2-ommersemester 2001-(10.6.) p.5/15
14 Abschlußeigenschaften (Typ-3) Für reguläre Mengen R 1 und R 2, auch regulär: Vereinigung R 1 R 2 Komplexprodukt R 1 R 2 F2-ommersemester 2001-(10.6.) p.5/15
15 Abschlußeigenschaften (Typ-3) Für reguläre Mengen R 1 und R 2, auch regulär: Vereinigung R 1 R 2 Komplexprodukt R 1 R 2 ternbildung R1 F2-ommersemester 2001-(10.6.) p.5/15
16 Abschlußeigenschaften (Typ-3) Für reguläre Mengen R 1 und R 2, auch regulär: Vereinigung R 1 R 2 Komplexprodukt R 1 R 2 ternbildung R1 Durchschnitt R 1 R 2 F2-ommersemester 2001-(10.6.) p.5/15
17 Abschlußeigenschaften (Typ-3) Für reguläre Mengen R 1 und R 2, auch regulär: Vereinigung R 1 R 2 Komplexprodukt R 1 R 2 ternbildung R1 Durchschnitt R 1 R 2 Komplement Σ \ R 1 F2-ommersemester 2001-(10.6.) p.5/15
18 Abschlußeigenschaften (Typ-3) Für reguläre Mengen R 1 und R 2, auch regulär: Vereinigung R 1 R 2 Komplexprodukt R 1 R 2 ternbildung R1 Durchschnitt R 1 R 2 Komplement Σ \ R 1 Reversal R rev 1 F2-ommersemester 2001-(10.6.) p.5/15
19 Abschlußeigenschaften (Typ-3) Für reguläre Mengen R 1 und R 2, auch regulär: Vereinigung R 1 R 2 Komplexprodukt R 1 R 2 ternbildung R 1 Durchschnitt R 1 R 2 Komplement Σ \ R 1 Reversal R rev 1 (inverse) Homomorphismen h(r 1 ), h 1 (R 1 ) F2-ommersemester 2001-(10.6.) p.5/15
20 Abschlußeigenschaften (Typ-3) Für reguläre Mengen R 1 und R 2, auch regulär: Vereinigung R 1 R 2 Komplexprodukt R 1 R 2 ternbildung R 1 Durchschnitt R 1 R 2 Komplement Σ \ R 1 Reversal R rev 1 (inverse) Homomorphismen h(r 1 ), h 1 (R 1 ) reguläre ubstitution σ(r 1 ) F2-ommersemester 2001-(10.6.) p.5/15
21 rationale Ausdrücke ei Σ ein Alphabet. Rationale Grund- Ausdrücke sind: ind A und B rationale Ausdrücke, dann sind auch folgende Ausdrücke rational: F2-ommersemester 2001-(10.6.) p.6/15
22 rationale Ausdrücke ei Σ ein Alphabet. Rationale Grund- Ausdrücke sind: ist rationaler Ausdruck ind A und B rationale Ausdrücke, dann sind auch folgende Ausdrücke rational: F2-ommersemester 2001-(10.6.) p.6/15
23 rationale Ausdrücke ei Σ ein Alphabet. Rationale Grund- Ausdrücke sind: ist rationaler Ausdruck a ist rationaler Ausdruck für alle a Σ ind A und B rationale Ausdrücke, dann sind auch folgende Ausdrücke rational: F2-ommersemester 2001-(10.6.) p.6/15
24 rationale Ausdrücke ei Σ ein Alphabet. Rationale Grund- Ausdrücke sind: ist rationaler Ausdruck a ist rationaler Ausdruck für alle a Σ ind A und B rationale Ausdrücke, dann sind auch folgende Ausdrücke rational: (A + B) F2-ommersemester 2001-(10.6.) p.6/15
25 rationale Ausdrücke ei Σ ein Alphabet. Rationale Grund- Ausdrücke sind: ist rationaler Ausdruck a ist rationaler Ausdruck für alle a Σ ind A und B rationale Ausdrücke, dann sind auch folgende Ausdrücke rational: (A + B) A B F2-ommersemester 2001-(10.6.) p.6/15
26 rationale Ausdrücke ei Σ ein Alphabet. Rationale Grund- Ausdrücke sind: ist rationaler Ausdruck a ist rationaler Ausdruck für alle a Σ ind A und B rationale Ausdrücke, dann sind auch folgende Ausdrücke rational: (A + B) A B (A) F2-ommersemester 2001-(10.6.) p.6/15
27 rationale Ausdrücke ei Σ ein Alphabet. Rationale Grund- Ausdrücke sind: ist rationaler Ausdruck M = = {} a ist rationaler Ausdruck für alle a Σ ind A und B rationale Ausdrücke, dann sind auch folgende Ausdrücke rational: (A + B) A B (A) F2-ommersemester 2001-(10.6.) p.6/15
28 rationale Ausdrücke ei Σ ein Alphabet. Rationale Grund- Ausdrücke sind: ist rationaler Ausdruck M = = {} a ist rationaler Ausdruck für alle a Σ ind A und B rationale Ausdrücke, dann sind auch folgende Ausdrücke rational: (A + B) A B (A) M a = {a} F2-ommersemester 2001-(10.6.) p.6/15
29 rationale Ausdrücke ei Σ ein Alphabet. Rationale Grund- Ausdrücke sind: ist rationaler Ausdruck M = = {} a ist rationaler Ausdruck für alle a Σ ind A und B rationale Ausdrücke, dann sind auch folgende Ausdrücke rational: M a = {a} (A + B) M (A+B) = (M A M B ) A B (A) F2-ommersemester 2001-(10.6.) p.6/15
30 rationale Ausdrücke ei Σ ein Alphabet. Rationale Grund- Ausdrücke sind: ist rationaler Ausdruck M = = {} a ist rationaler Ausdruck für alle a Σ ind A und B rationale Ausdrücke, dann sind auch folgende Ausdrücke rational: M a = {a} (A + B) M (A+B) = (M A M B ) A B M A B = M A M B (A) F2-ommersemester 2001-(10.6.) p.6/15
31 rationale Ausdrücke ei Σ ein Alphabet. Rationale Grund- Ausdrücke sind: ist rationaler Ausdruck M = = {} a ist rationaler Ausdruck für alle a Σ ind A und B rationale Ausdrücke, dann sind auch folgende Ausdrücke rational: M a = {a} (A + B) M (A+B) = (M A M B ) A B (A) M A B = M A M B M (A) = (M A ) F2-ommersemester 2001-(10.6.) p.6/15
32 rat. Ausdrücke vs. reguläre Mengen Rationale Ausdrücke beschreiben genau die regulären Mengen! F2-ommersemester 2001-(10.6.) p.7/15
33 rat. Ausdrücke vs. reguläre Mengen Rationale Ausdrücke beschreiben genau die regulären Mengen! Durch endliche Automaten beschriebene prachen lassen sich auch durch rationale Ausdrücke beschreiben. [R k i,j-konstruktion] F2-ommersemester 2001-(10.6.) p.7/15
34 rat. Ausdrücke vs. reguläre Mengen Rationale Ausdrücke beschreiben genau die regulären Mengen! Durch endliche Automaten beschriebene prachen lassen sich auch durch rationale Ausdrücke beschreiben. [R k i,j-konstruktion] Durch rationale Ausdrücke beschriebene Mengen sind auch durch endliche Automaten darstellbar. [Abschlußeigenschaften] F2-ommersemester 2001-(10.6.) p.7/15
35 kontextfreie prachen... lassen sich beschreiben durch F2-ommersemester 2001-(10.6.) p.8/15
36 kontextfreie prachen... lassen sich beschreiben durch Kontextfreie Grammatiken F2-ommersemester 2001-(10.6.) p.8/15
37 kontextfreie prachen... lassen sich beschreiben durch Kontextfreie Grammatiken G = (V N, V T, P, ) A w V N (V N V T ) F2-ommersemester 2001-(10.6.) p.8/15
38 kontextfreie prachen... lassen sich beschreiben durch Kontextfreie Grammatiken G = (V N, V T, P, ) A w V N (V N V T ) Chomsky-Normalform-Grammatiken F2-ommersemester 2001-(10.6.) p.8/15
39 kontextfreie prachen... lassen sich beschreiben durch Kontextfreie Grammatiken G = (V N, V T, P, ) A w V N (V N V T ) Chomsky-Normalform-Grammatiken V N (VN 2 V T ) A BC oder A a F2-ommersemester 2001-(10.6.) p.8/15
40 kontextfreie prachen... lassen sich beschreiben durch Kontextfreie Grammatiken G = (V N, V T, P, ) A w V N (V N V T ) Chomsky-Normalform-Grammatiken V N (VN 2 V T ) A BC oder A a Greibach-Normalform-Grammatiken F2-ommersemester 2001-(10.6.) p.8/15
41 kontextfreie prachen... lassen sich beschreiben durch Kontextfreie Grammatiken G = (V N, V T, P, ) A w V N (V N V T ) Chomsky-Normalform-Grammatiken V N (VN 2 V T ) A BC oder A a Greibach-Normalform-Grammatiken A aa 1 A 2 V N V T V N F2-ommersemester 2001-(10.6.) p.8/15
42 kontextfreie prachen... lassen sich beschreiben durch Kontextfreie Grammatiken G = (V N, V T, P, ) A w V N (V N V T ) Chomsky-Normalform-Grammatiken V N (VN 2 V T ) A BC oder A a Greibach-Normalform-Grammatiken A aa 1 A 2 V N V T V N Kellerautomaten F2-ommersemester 2001-(10.6.) p.8/15
43 kontextfreie prachen... lassen sich beschreiben durch Kontextfreie Grammatiken G = (V N, V T, P, ) A w V N (V N V T ) Chomsky-Normalform-Grammatiken V N (VN 2 V T ) A BC oder A a Greibach-Normalform-Grammatiken A aa 1 A 2 V N V T V N Kellerautomaten A = (Z, Σ, Γ, K, Z start, Z end ) F2-ommersemester 2001-(10.6.) p.8/15
44 kontextfreie prachen... lassen sich beschreiben durch Kontextfreie Grammatiken G = (V N, V T, P, ) A w V N (V N V T ) Chomsky-Normalform-Grammatiken V N (VN 2 V T ) A BC oder A a Greibach-Normalform-Grammatiken A aa 1 A 2 V N V T V N Kellerautomaten A = (Z, Σ, Γ, K, Z start, Z end ) pezialfall: Rechtslineare Grammatiken äquivalent zu NFAs F2-ommersemester 2001-(10.6.) p.8/15
45 Ableitung(sbaum) Grammatik mit Regeln: ab λ Ableitungen können geschrieben werden: F2-ommersemester 2001-(10.6.) p.9/15
46 Ableitung(sbaum) Grammatik mit Regeln: ab λ Ableitungen können geschrieben werden: linear: als Baum: F2-ommersemester 2001-(10.6.) p.9/15
47 Ableitung(sbaum) Grammatik mit Regeln: ab λ Ableitungen können geschrieben werden: linear: als Baum: F2-ommersemester 2001-(10.6.) p.9/15
48 Ableitung(sbaum) Grammatik mit Regeln: ab λ Ableitungen können geschrieben werden: linear: ab als Baum: a b F2-ommersemester 2001-(10.6.) p.9/15
49 Ableitung(sbaum) Grammatik mit Regeln: ab λ Ableitungen können geschrieben werden: linear: ab aabb als Baum: a b a b F2-ommersemester 2001-(10.6.) p.9/15
50 Ableitung(sbaum) Grammatik mit Regeln: ab λ Ableitungen können geschrieben werden: linear: ab aabb aabb als Baum: a b a b y F2-ommersemester 2001-(10.6.) p.9/15
51 Ableitung(sbaum) Grammatik mit Regeln: ab λ Ableitungen können geschrieben werden: linear: ab aabb aabb aabb als Baum: a b a b y y F2-ommersemester 2001-(10.6.) p.9/15
52 Ableitung(sbaum) Grammatik mit Regeln: ab λ Ableitungen können geschrieben werden: linear: ab aabb aabb aabb aabb als Baum: a b a a b b a a b b y a a b b y y a a b b y y y F2-ommersemester 2001-(10.6.) p.9/15
53 Ableitung(sbaum) Grammatik mit Regeln: ab λ Ableitungen können geschrieben werden: linear: ab aabb aabb aabb aabb als Baum: Ableitungsbäume + Chomsky-Normalform Pumping-Lemma a b a b y y y F2-ommersemester 2001-(10.6.) p.9/15
54 ubklassen der kontextfreien prachen Echte Teilmengen der kontextfreien prachen sind: F2-ommersemester 2001-(10.6.) p.10/15
55 ubklassen der kontextfreien prachen Echte Teilmengen der kontextfreien prachen sind: Durch eindeutige kontextfreie Grammatiken erzeugte prachen: F2-ommersemester 2001-(10.6.) p.10/15
56 ubklassen der kontextfreien prachen Echte Teilmengen der kontextfreien prachen sind: Durch eindeutige kontextfreie Grammatiken erzeugte prachen: w L(G) hat genau einen Ableitungsbaum bzw. genau eine Linksableitung. F2-ommersemester 2001-(10.6.) p.10/15
57 ubklassen der kontextfreien prachen Echte Teilmengen der kontextfreien prachen sind: Durch eindeutige kontextfreie Grammatiken erzeugte prachen: w L(G) hat genau einen Ableitungsbaum bzw. genau eine Linksableitung. Durch deterministische Kellerautomaten akzeptierte prachen. F2-ommersemester 2001-(10.6.) p.10/15
58 ubklassen der kontextfreien prachen Echte Teilmengen der kontextfreien prachen sind: Durch eindeutige kontextfreie Grammatiken erzeugte prachen: w L(G) hat genau einen Ableitungsbaum bzw. genau eine Linksableitung. Durch deterministische Kellerautomaten akzeptierte prachen. Beispiel: L := {wcw rev w {a, b} } ist deterministisch kontextfrei und eindeutig: aa bb c ist eindeutige Grammatik für L. F2-ommersemester 2001-(10.6.) p.10/15
59 ubklassen der kontextfreien prachen Echte Teilmengen der kontextfreien prachen sind: Durch eindeutige kontextfreie Grammatiken erzeugte prachen: w L(G) hat genau einen Ableitungsbaum bzw. genau eine Linksableitung. Durch deterministische Kellerautomaten akzeptierte prachen. Beispiel: L := {wcw rev w {a, b} } ist deterministisch kontextfrei und eindeutig: aa bb c ist eindeutige Grammatik für L. Die regulären Mengen. [Konstruktion einer CFG aus einem FA] F2-ommersemester 2001-(10.6.) p.10/15
60 Akzeptierbedingungen Ein Wort w wird von einem endlichen Automaten A akzeptiert, gdw. es eine Erfolgsrechnung von A auf w gibt. F2-ommersemester 2001-(10.6.) p.11/15
61 Akzeptierbedingungen Ein Wort w wird von einem endlichen Automaten A akzeptiert, gdw. es eine Erfolgsrechnung von A auf w gibt. (z 0, w) (z e, λ) mit z 0 Z start und z e Z end F2-ommersemester 2001-(10.6.) p.11/15
62 Akzeptierbedingungen Ein Wort w wird von einem endlichen Automaten A akzeptiert, gdw. es eine Erfolgsrechnung von A auf w gibt. (z 0, w) (z e, λ) mit z 0 Z start und z e Z end Bei Kellerautomaten: zwei unterschiedliche Bedingungen. F2-ommersemester 2001-(10.6.) p.11/15
63 Akzeptierbedingungen Ein Wort w wird von einem endlichen Automaten A akzeptiert, gdw. es eine Erfolgsrechnung von A auf w gibt. (z 0, w) (z e, λ) mit z 0 Z start und z e Z end Bei Kellerautomaten: zwei unterschiedliche Bedingungen. mit Endzustand akzeptierte prache L(A) (, z 0, w) (v, z e, λ) mit z 0 Z start und z e Z end F2-ommersemester 2001-(10.6.) p.11/15
64 Akzeptierbedingungen Ein Wort w wird von einem endlichen Automaten A akzeptiert, gdw. es eine Erfolgsrechnung von A auf w gibt. (z 0, w) (z e, λ) mit z 0 Z start und z e Z end Bei Kellerautomaten: zwei unterschiedliche Bedingungen. mit Endzustand akzeptierte prache L(A) (, z 0, w) (v, z e, λ) mit z 0 Z start und z e Z end mit leerem Keller akzeptierte prache N(A) F2-ommersemester 2001-(10.6.) p.11/15
65 Akzeptierbedingungen Ein Wort w wird von einem endlichen Automaten A akzeptiert, gdw. es eine Erfolgsrechnung von A auf w gibt. (z 0, w) (z e, λ) mit z 0 Z start und z e Z end Bei Kellerautomaten: zwei unterschiedliche Bedingungen. mit Endzustand akzeptierte prache L(A) (, z 0, w) (v, z e, λ) mit z 0 Z start und z e Z end mit leerem Keller akzeptierte prache N(A) (, z 0, w) (λ, z, λ) mit z 0 Z start und z Z F2-ommersemester 2001-(10.6.) p.11/15
66 Akzeptierbedingungen Ein Wort w wird von einem endlichen Automaten A akzeptiert, gdw. es eine Erfolgsrechnung von A auf w gibt. (z 0, w) (z e, λ) mit z 0 Z start und z e Z end Bei Kellerautomaten: zwei unterschiedliche Bedingungen. mit Endzustand akzeptierte prache L(A) (, z 0, w) (v, z e, λ) mit z 0 Z start und z e Z end mit leerem Keller akzeptierte prache N(A) (, z 0, w) (λ, z, λ) mit z 0 Z start und z Z Beide Akzeptierbedingungen sind äquivalent! F2-ommersemester 2001-(10.6.) p.11/15
67 Abschlußeigenschaften (Typ-2) Vereinigung Durchschnitt Durchschnitt mit regulären Mengen Komplexprodukt ternbildung Komplement kontextfreie ubstitution Homomorphismen inverse Homomorphismen kontextfrei det. kontextfrei F2-ommersemester 2001-(10.6.) p.12/15
68 Entscheidbarkeiten (Typ-2) Leerheit Universalität Endlichkeit Wortproblem Inklusion Äquivalenz Eindeutigkeit kontextfrei det. kontextfrei F2-ommersemester 2001-(10.6.) p.13/15
69 Entscheidbarkeiten (Typ-2) Leerheit Universalität Endlichkeit Wortproblem Inklusion Äquivalenz Eindeutigkeit Nicht entscheidbar sind auch: kontextfrei det. kontextfrei Ein-/Mehrdeutigkeit kontextfreier Grammatiken L 1 L 2 = für kontextfreie prachen L 1 und L 2 F2-ommersemester 2001-(10.6.) p.13/15
70 formale chreibweise Es ist wichtig, z.b. Mengen formal korrekt zu notieren: Die Menge L aller Wörter, die zwei d s enthalten. F2-ommersemester 2001-(10.6.) p.14/15
71 formale chreibweise Es ist wichtig, z.b. Mengen formal korrekt zu notieren: Die Menge L aller Wörter, die zwei d s enthalten. Über welchem Alphabet? F2-ommersemester 2001-(10.6.) p.14/15
72 formale chreibweise Es ist wichtig, z.b. Mengen formal korrekt zu notieren: Die Menge L aller Wörter, die zwei d s enthalten. Über welchem Alphabet? Σ := {c, d} F2-ommersemester 2001-(10.6.) p.14/15
73 formale chreibweise Es ist wichtig, z.b. Mengen formal korrekt zu notieren: Die Menge L aller Wörter, die zwei d s enthalten. Über welchem Alphabet? Σ := {c, d} Mindestens zwei oder genau zwei d s? F2-ommersemester 2001-(10.6.) p.14/15
74 formale chreibweise Es ist wichtig, z.b. Mengen formal korrekt zu notieren: Die Menge L aller Wörter, die zwei d s enthalten. Über welchem Alphabet? Σ := {c, d} Mindestens zwei oder genau zwei d s? Darstellungsmöglichkeiten: L = L(A) für A = ({0, 1, 2}, {c, d}, {(0, c, 0), (0, d, 0), (0, d, 1), (1, c, 1), (1, d, 1), (1, d, 2), (2, c, 2), (2, d, 2)}, {0}, {2}) F2-ommersemester 2001-(10.6.) p.14/15
75 formale chreibweise Es ist wichtig, z.b. Mengen formal korrekt zu notieren: Die Menge L aller Wörter, die zwei d s enthalten. Über welchem Alphabet? Σ := {c, d} Mindestens zwei oder genau zwei d s? Darstellungsmöglichkeiten: L = L(A) für A = ({0, 1, 2}, {c, d}, {(0, c, 0), (0, d, 0), (0, d, 1), (1, c, 1), (1, d, 1), (1, d, 2), (2, c, 2), (2, d, 2)}, {0}, {2}) L = L(G) für G = ({, A}, {c, d}, {(, AdAdA), (A, ca), (A, da), (A, λ)}, ) F2-ommersemester 2001-(10.6.) p.14/15
76 formale chreibweise Es ist wichtig, z.b. Mengen formal korrekt zu notieren: Die Menge L aller Wörter, die zwei d s enthalten. Über welchem Alphabet? Σ := {c, d} Mindestens zwei oder genau zwei d s? Darstellungsmöglichkeiten: L = L(A) für A = ({0, 1, 2}, {c, d}, {(0, c, 0), (0, d, 0), (0, d, 1), (1, c, 1), (1, d, 1), (1, d, 2), (2, c, 2), (2, d, 2)}, {0}, {2}) L = L(G) für G = ({, A}, {c, d}, {(, AdAdA), (A, ca), (A, da), (A, λ)}, ) L = M R für R = (c + d) d(c + d) d(c + d) F2-ommersemester 2001-(10.6.) p.14/15
77 Viel Erfolg bei der Klausur!!! F2-ommersemester 2001-(10.6.) p.15/15
Übersicht. 3 3 Kontextfreie Sprachen
Formale Systeme, Automaten, Prozesse Übersicht 3 3.1 Kontextfreie Sprachen und Grammatiken 3.2 Ableitungsbäume 3.3 Die pre -Operation 3.4 Entscheidungsprobleme für CFGs 3.5 Normalformen für CFGs 3.6 Chomsky-Normalform
MehrInformatik 3 Theoretische Informatik WS 2015/16
2. Probeklausur 22. Januar 2016 Informatik 3 Theoretische Informatik WS 2015/16 Prof. Dr. Peter Thiemann Albert-Ludwigs-Universität Freiburg Institut für Informatik Name: Matrikel-Nr.: Schreiben Sie Ihren
MehrInformatik III - WS07/08
Informatik III - WS07/08 Kapitel 5 1 Informatik III - WS07/08 Prof. Dr. Dorothea Wagner dwagner@ira.uka.de Kapitel 5 : Grammatiken und die Chomsky-Hierarchie Informatik III - WS07/08 Kapitel 5 2 Definition
MehrKontextfreie Sprachen
Kontextfreie Sprachen besitzen große Bedeutung im Compilerbau Chomsky-Normalform effiziente Lösung des Wortproblems (CYK-Algorithmus) Grenzen kontextfreier Sprachen (Pumping Lemma) Charakterisierung durch
MehrBeweisidee: 1 Verwende den Keller zur Simulation der Grammatik. Leite ein Wort. 2 Problem: der Keller darf nicht beliebig verwendet werden, man kann
Automaten und Formale prachen alias Theoretische Informatik ommersemester 2011 Dr. ander Bruggink Übungsleitung: Jan tückrath Wir beschäftigen uns ab jetzt einige Wochen mit kontextfreien prachen: Kontextfreie
MehrKontextfreie Sprachen
Kontextfreie Sprachen Bedeutung: Programmiersprachen (Compilerbau) Syntaxbäume Chomsky-Normalform effiziente Lösung des Wortproblems (CYK-Algorithmus) Grenzen kontextfreier Sprachen (Pumping Lemma) Charakterisierung
MehrKontextfreie Sprachen werden von PDAs akzeptiert
Kontextfreie Sprachen werden von PDAs akzeptiert Sei G = (Σ, V, S, P) eine kontextfreie Grammatik. Dann gibt es einen PDA A mit L(A) = L(G). Der PDA A arbeitet mit nur einem Zustand q 0, besitzt das Kelleralphabet
MehrInformatik IV Theoretische Informatik: Formale Sprachen und Automaten, Berechenbarkeit und NP-Vollständigkeit. Zugangsnummer: 9201
Informatik IV Theoretische Informatik: Formale Sprachen und Automaten, Berechenbarkeit und NP-Vollständigkeit Wiederholung Kapitel 3 und 4 http://pingo.upb.de Zugangsnummer: 9201 Dozent: Jun.-Prof. Dr.
MehrWorterkennung in Texten speziell im Compilerbau 20. April Frank Heitmann 2/64
Grenzen regulärer Sprachen? Formale Grundlagen der Informatik 1 Kapitel 4 Über reguläre Sprachen hinaus und Pumping Lemma Frank Heitmann heitmann@informatik.uni-hamburg.de Wir haben mittlerweile einiges
MehrI.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
MehrCarlos Camino Einführung in die Theoretische Informatik SS 2015
Themenüberblick Dies ist eine Art Checkliste für die Klausurvorbereitung. Zu jedem Thema im Skript sind hier ein paar Leitfragen aufgelistet. Besonders nützlich sind die Tabellen und Abbildungen auf den
Mehr10 Kellerautomaten. Kellerautomaten
10 Kellerautomaten Bisher hatten wir kontextfreie Sprachen nur mit Hilfe von Grammatiken charakterisiert. Wir haben gesehen, dass endliche Automaten nicht in der Lage sind, alle kontextfreien Sprachen
MehrAutomaten und Formale Sprachen SoSe 2013 in Trier
Automaten und Formale Sprachen SoSe 2013 in Trier Henning Fernau Universität Trier fernau@uni-trier.de 2. Juni 2013 1 Automaten und Formale Sprachen Gesamtübersicht Organisatorisches Einführung Endliche
MehrEinführung in die Computerlinguistik
Einführung in die Computerlinguistik Kontextfreie Sprachen und Pushdown-Automaten Dozentin: Wiebke Petersen WS 2004/2005 Wiebke Petersen Formale Komplexität natürlicher Sprachen WS 03/04 Wiederholung c
MehrWas bisher geschah Chomsky-Hierarchie für Sprachen: L 0 Menge aller durch (beliebige) Grammatiken beschriebenen Sprachen L 1 Menge aller monotonen
Was bisher geschah Chomsky-Hierarchie für Sprachen: L 0 Menge aller durch (beliebige) Grammatiken beschriebenen Sprachen L 1 Menge aller monotonen (Kontextsensitive) Sprachen L 2 Menge aller kontextfreien
MehrDie oben aufgelisteten Sprachfamilien werden von oben nach unten echt mächtiger, d.h. die Familie der regulären Sprachen ist eine echte Teilfamilie
Zusammenfassung Im Automatenteil der FGI1 Vorlesung haben wir uns mit der Charakterisierung von Sprachfamilien durch immer mächtigere Automatenmodelle und Grammatiken beschäftigt. Folgende Familien haben
MehrFormale Grundlagen der Wirtschaftsinformatik
Formale Grundlagen der Wirtschaftsinformatik Nikolaj Popov Research Institute for Symbolic Computation popov@risc.uni-linz.ac.at Sprachen und Grammatiken Teil II Sprache Definition: Ein Alphabet Σ ist
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik 4. Kellerautomaten und kontextfreie prachen (VI) 25.06.2015 Viorica ofronie-tokkermans e-mail: sofronie@uni-koblenz.de 1 Übersicht 1. Motivation 2. Terminologie
Mehr2. Ü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
MehrTheorie 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
MehrFormalismen für REG. Formale Grundlagen der Informatik 1 Kapitel 7 Kontextfreie Sprachen. Das Pumping Lemma. Abschlusseigenschaften
Formalismen für RE Formale rundlagen der Informatik 1 Kapitel 7 Kontextfreie Sprachen Frank Heitmann heitmann@informatik.uni-hamburg.de Satz Zu jeder regulären Sprache L gibt es einen DFA A mit L(A) =
MehrAutomatentheorie und formale Sprachen
Automatentheorie und formale Sprachen VL 8 Chomsky-Grammatiken Kathrin Hoffmann 23. Mai 2012 Hoffmann (HAW Hamburg) Automatentheorie und formale Sprachen 23.5. 2012 250 Wortproblem Wortproblem ist das
Mehr(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),
MehrAkzeptierende Turing-Maschine
Akzeptierende Turing-Maschine Definition: Eine akzeptierende Turing-Maschine M ist ein Sechstupel M = (X, Z, z 0, Q, δ, F ), wobei (X, Z, z 0, Q, δ) eine Turing-Maschine ist und F Q gilt. Die von M akzeptierte
Mehra b b a a b b a Dank Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I Chart-Parsing Chart-Parsing Vorlesung
Dank Vorlesung Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I Bernhard Beckert Diese Vorlesungsmaterialien basieren ganz wesentlich auf den Folien zu den Vorlesungen
MehrInformatik 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
MehrTheoretische Informatik
Theoretische Informatik Prof. Meer, Dr. Gengler Aufgabenblatt 7 Besprechung in KW 48 / Abgabe in KW 49 Heften Sie unbedingt alle Blätter Ihrer Lösung zusammen und geben Sie oben auf dem ersten Blatt Ihren
MehrInformatik IV. Pingo Sommersemester Dozent: Prof. Dr. J. Rothe. J. Rothe (HHU Düsseldorf) Informatik IV 1 / 13
Informatik IV Sommersemester 2019 Dozent: Prof. Dr. J. Rothe J. Rothe (HHU Düsseldorf) Informatik IV 1 / 13 Website http://pingo.upb.de/ Code: 1869 J. Rothe (HHU Düsseldorf) Informatik IV 2 / 13 Frage
MehrUmformung 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
MehrGrundlagen 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 ommersemester 2007 B. Beckert Grundlagen d. Theoretischen Informatik:
Mehr3.1 Kontextfreie Sprachen und Grammatiken 3.2 Ableitungsbäume 3.3 Die pre -Operation
Formale Systeme, Automaten, Prozesse Übersicht 3 3.1 Kontextfreie Sprachen und Grammatiken 3.2 Ableitungsbäume 3.3 Die pre -Operation 3.5 Normalformen für CFGs 3.6 Chomsky-Normalform 3.7 Greibach-Normalform
MehrTheoretische Informatik I
Theoretische Informatik I Einheit 4.3 Eigenschaften von L 0 /L 1 -Sprachen 1. Abschlußeigenschaften 2. Prüfen von Eigenschaften 3. Grenzen der Sprachklassen Sprachklassen Semi-entscheidbare Sprache Sprache,
MehrGrundlagen 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 ommersemester 2007 B. Beckert Grundlagen d. Theoretischen Informatik:
MehrGrundlagen 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
MehrSei Σ ein endliches Alphabet. Eine Sprache L Σ ist genau dann regulär, wenn sie von einem regulären Ausdruck beschrieben werden kann.
Der Satz von Kleene Wir haben somit Folgendes bewiesen: Der Satz von Kleene Sei Σ ein endliches Alphabet. Eine Sprache L Σ ist genau dann regulär, wenn sie von einem regulären Ausdruck beschrieben werden
MehrAutomaten 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
MehrDeterministischer 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,δ,
MehrReguläre Sprachen. R. Stiebe: Theoretische Informatik für ING-IF und Lehrer,
Reguläre Sprachen Reguläre Sprachen (Typ-3-Sprachen) haben große Bedeutung in Textverarbeitung und Programmierung (z.b. lexikalische Analyse) besitzen für viele Entscheidungsprobleme effiziente Algorithmen
MehrÜ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
MehrInformatik III. Christian Schindelhauer Wintersemester 2006/07 8. Vorlesung
Informatik III Christian Schindelhauer Wintersemester 2006/07 8. Vorlesung 17.11.2006 schindel@informatik.uni-freiburg.de 1 Prinzip des Kellerautomats Push-Down-Automaton (PDA) Ein Kellerautomat vereinigt
MehrTheoretische Grundlagen der Informatik
Theoretische Grundlagen der Informatik Vorlesung am 18. Januar 2018 INSTITUT FÜR THEORETISCHE 0 18.01.2018 Dorothea Wagner - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE KIT Die Forschungsuniversität
MehrSpracherkennung (Syntaxanalyse)
Kellerautomaten Kellerautomaten 8 Spracherkennung (Syntaxanalyse) Algorithmus gesucht, der für L T (möglichst schnell) entscheidet, ob w L (Lösung des Wortproblems) Grammatik Automat Aufwand rechtslinear
MehrTheoretische Informatik Kap 1: Formale Sprachen/Automatentheorie
Gliederung der Vorlesung. Grundbegriffe. Formale Sprachen/Automatentheorie.. Grammatiken.2..3. Kontext-freie Sprachen 2. Berechnungstheorie 2.. Berechenbarkeitsmodelle 2.2. Die Churchsche These 2.3. Unentscheidbarkeit
MehrÜ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
MehrMusterlösung Informatik-III-Nachklausur
Musterlösung Informatik-III-Nachklausur Aufgabe 1 (2+2+4+4 Punkte) (a) L = (0 1) 0(0 1) 11(0 1) 0(0 1) (b) Der Automat ist durch folgendes Übergangsdiagramm gegeben: 0, 1 0, 1 0, 1 0, 1 0 s q 1 1 0 0 q
MehrDefinition 98 Eine Turingmaschine heißt linear beschränkt (kurz: LBA), falls für alle q Q gilt:
5.2 Linear beschränkte Automaten Definition 98 Eine Turingmaschine heißt linear beschränkt (kurz: LBA), falls für alle q Q gilt: (q, c, d) δ(q, ) = c =. Ein Leerzeichen wird also nie durch ein anderes
MehrHomomorphismen. Defnition: Σ und Γ seien zwei endliche Alphabete, und h sei eine Abbildung h : Σ Γ. Wir definieren die folgenden Sprachen:
Homomorphismen Σ und Γ seien zwei endliche Alphabete, und h sei eine Abbildung h : Σ Γ. Wir definieren die folgenden Sprachen: h(l) := {h(u) : u L} Γ, für jede Sprache L Σ, h 1 (M) := {u Σ : h(u) M} Σ,
MehrGrundlagen Theoretischer Informatik 2 WiSe 2011/12 in Trier. Henning Fernau Universität Trier
Grundlagen Theoretischer Informatik 2 WiSe 2011/12 in Trier Henning Fernau Universität Trier fernau@uni-trier.de 1 Grundlagen Theoretischer Informatik 2 Gesamtübersicht Organisatorisches; Einführung Ersetzungsverfahren:
MehrInformales Beispiel. Formale Grundlagen der Informatik 1 Kapitel 6 Eigenschaften kontextfreier Sprachen. Grammatiken. Anmerkungen
Informales Beispiel Formale Grundlagen der Informatik 1 Kapitel 6 Eigenschaften kontextfreier Sprachen Frank Heitmann heitmann@informatik.uni-hamburg.de 22. April 2014 I L IL ID L a b c D 0 1 2 3 4 Eine
Mehr1. Teilklausur zur Vorlesung Grundlagen der Theoretischen Informatik
1. Teilklausur zur Vorlesung Grundlagen der Theoretischen Informatik Ulrich Furbach Christian Schwarz Markus Kaiser Arbeitsgruppe Künstliche Intelligenz Fachbereich Informatik, Universität Koblenz-Landau
MehrLösung zur Klausur. Grundlagen der Theoretischen Informatik im WiSe 2003/2004
Lösung zur Klausur Grundlagen der Theoretischen Informatik im WiSe 2003/2004 1. Geben Sie einen deterministischen endlichen Automaten an, der die Sprache aller Wörter über dem Alphabet {0, 1} akzeptiert,
MehrNormalformen für kontextfreie Grammatiken. Noam CHOMSKY, Sheila GREIBACH. Bäume. Ableitungen in kontextfreien Grammatiken. Grammatik G = (N,T,P,S)
Noam CHOMSKY, Sheila GREIBACH Normalformen für kontextfreie Grammatiken Noam CHOMSKY (*1928 ) Sheila GREIBACH (*1939) Grammatik G = (N,T,P,S) GREIBACH Normalform: A aw, w N* Erweiterte GREIBACH Normalform:
MehrNoam CHOMSKY, Sheila GREIBACH
Noam CHOMSKY, Sheila GREIBACH Noam CHOMSKY (*1928 ) Sheila GREIBACH (*1939) Normalformen für kontextfreie Grammatiken Grammatik G = (N,T,P,S) GREIBACH Normalform: A aw, w N* Erweiterte GREIBACH Normalform:
MehrÜ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
MehrKontextfreie Sprachen. Automaten und Formale Sprachen alias Theoretische Informatik. Sommersemester Kontextfreie Sprachen
Automaten und Formale Sprachen alias Theoretische Informatik Sommersemester 2012 Dr. Sander Bruggink Übungsleitung: Jan Stückrath Wortproblem: der CYK-Algorithmus Pumping Lemma für kontextfreie Sprachen
MehrGrundlagen 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:
MehrTheoretische Informatik I
Theoretische Informatik I Rückblick Theoretische Informatik I 1. Mathematische Methoden 2. Reguläre Sprachen 3. Kontextfreie Sprachen Themen der Theoretischen Informatik I & II Mathematische Methodik in
Mehrq 0 q gdw. nicht (q A) (q A) q i+1 q gdw. q i q oder ( a Σ) δ(q, a) i δ(q, a) L = {a n b n : n N} für a, b Σ, a b
Kap. 2: Endliche Automaten Myhill Nerode 2.4 Minimalautomat für reguläre Sprache Abschnitt 2.4.3 L Σ regulär der Äuivalenzklassen-Automat zu L ist ein DFA mit minimaler Zustandszahl (= index( L )) unter
MehrVorlesung im Sommersemester Informatik IV. Probeklausurtermin: 21. Juni 2016
Heinrich-Heine-Universität Düsseldorf Institut für Informatik Prof. Dr. J. Rothe Universitätsstr. 1, D-40225 Düsseldorf Gebäude: 25.12, Ebene: O2, Raum: 26 Tel.: +49 211 8112188, Fax: +49 211 8111667 E-Mail:
MehrKlausur zur Vorlesung Informatik III Wintersemester 2007/2008
Institut für Theoretische Informatik Lehrstuhl Prof. Dr. D. Wagner Klausur zur Vorlesung Informatik III Wintersemester 2007/2008 Hier Aufkleber mit Name und Matrikelnr. anbringen Vorname: Nachname: Matrikelnummer:
Mehr2. Gegeben sei folgender nichtdeterministischer endlicher Automat mit ɛ-übergängen:
Probeklausur Automatentheorie & Formale Sprachen WiSe 2012/13, Wiebke Petersen Name: Matrikelnummer: Aufgabe A: Typ3-Sprachen 1. Konstruieren Sie einen endlichen Automaten, der die Sprache aller Wörter
MehrFORMALE SYSTEME. 3. Vorlesung: Endliche Automaten. TU Dresden, 17. Oktober Markus Krötzsch
FORMALE SYSTEME 3. Vorlesung: Endliche Automaten Markus Krötzsch TU Dresden, 17. Oktober 2016 Rückblick Markus Krötzsch, 17. Oktober 2016 Formale Systeme Folie 2 von 31 Wiederholung Mit Grammatiken können
MehrDefinition 78 Ein NPDA = PDA (= Nichtdeterministischer Pushdown-Automat) besteht aus:
4.7 Kellerautomaten In der Literatur findet man häufig auch die Bezeichnungen Stack-Automat oder Pushdown-Automat. Kellerautomaten sind, wenn nichts anderes gesagt wird, nichtdeterministisch. Definition
MehrFormale Systeme, Automaten, Prozesse SS 2010 Musterlösung - Übung 9 M. Brockschmidt, F. Emmes, C. Fuhs, C. Otto, T. Ströder
Prof aa Dr J Giesl 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 bearbeitet werden Die Lösungen der Hausaufgaben
MehrWie man eine Sprache versteht
Aufzählbarkeit Formale Grundlagen der Informatik 1 Kapitel 10 Aufzählbarkeit und (Un-)Entscheidbarkeit Frank Heitmann heitmann@informatik.uni-hamburg.de 11. Mai 2015 Definition 1 Eine Menge M Σ heißt (rekursiv)
MehrAbschluss unter Operationen
Abschluss unter Operationen Definition Definition: Es seien L eine Menge von Sprachen und τ eine n-stellige Operation, die über Sprachen definiert ist. Dann heißt L abgeschlossen unter τ, wenn für beliebige
MehrAutomaten und Formale Sprachen alias Theoretische Informatik. Sommersemester 2012
Automaten und Formale Sprachen alias Theoretische Informatik Sommersemester 2012 Dr. Sander Bruggink Übungsleitung: Jan Stückrath Sander Bruggink Automaten und Formale Sprachen 1 Einschub: Kellerautomaten
Mehr3. Vorlesung: Endliche Automaten Markus Kr otzsch Lehrstuhl Wissensbasierte Systeme
Wiederholung Mit Grammatiken können wir Sprachen beschreiben und sie grob in Typen unterteilen: FORMALE SYSTEME 3. Vorlesung: Endliche Automaten Markus Krötzsch Lehrstuhl Wissensbasierte Systeme Formale
MehrMehrdeutige Grammatiken
Mehrdeutige Grammatiken Wir haben gesehen, dass es auch mehr als eine Linksableitung, d.h. mehr als einen Syntaxbaum geben kann, um das selbe Terminalwort zu erzeugen. Eine Grammatik, die für mindestens
MehrSchnitt- und Äquivalenzproblem
Schnitt- und Äquivalenzproblem Das Schnittproblem besteht in der Frage, ob der Schnitt zweier gegebener regulärer Sprachen L 1 und L 2 leer ist. Dabei können die Sprachen durch DEAs oder Typ-3 Grammatiken,
Mehrkontextfreie Sprachen: Normalformen
1 kontextfreie Sprachen: Normalformen Zur Erinnerung: Kontextfreie Sprachen sind diejenigen, die von Grammatiken erzeugt werden, die auf allen linken Regelseiten nur je ein Nichtterminalsymbol haben. Aufgrund
Mehr1. Übungsblatt 6.0 VU Theoretische Informatik und Logik
. Übungsblatt 6. VU Theoretische Informatik und Logik 25. September 23 Aufgabe Sind folgende Aussagen korrekt? Begründen Sie jeweils Ihre Antwort. a) Für jede Sprache L gilt: L < L (wobei A die Anzahl
MehrTheoretische Informatik und Logik Übungsblatt 2 (2017S) Lösung
Theoretische Informatik und Logik Übungsblatt 2 (2017) en Aufgabe 2.1 Geben ie jeweils eine kontextfreie Grammatik an, welche die folgenden prachen erzeugt, sowie eine Linksableitung und einen Ableitungsbaum
MehrDisMod-Repetitorium Tag 4
DisMod-Repetitorium Tag 4 Endliche Automaten, Reguläre Sprachen und Kontextfreie Grammatiken 22. März 2018 1 Endliche Automaten Definition DFA Auswertungen Äquivalenzrelationen Verschmelzungsrelation und
MehrZusammenfassung. Endliche Sprachen. Fazit zu endlichen Automaten. Teil 4: Grammatiken und Syntaxanalyse
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. Zusammenfassung Beschreibungsformen für reguläre Sprachen:
MehrTU Berlin Nachklausur TheGI 2 Automaten und Komplexität (Niedermeier/Hartung/Nichterlein, Sommersemester 2012)
Berlin, 05. Oktober 2012 Name:... Matr.-Nr.:... TU Berlin Nachklausur TheGI 2 Automaten und Komplexität (Niedermeier/Hartung/Nichterlein, Sommersemester 2012) 1 2 3 4 5 6 7 Σ Bearbeitungszeit: 60 min.
MehrAutomaten und Formale Sprachen alias Theoretische Informatik. Sommersemester 2011
Automaten und Formale Sprachen alias Theoretische Informatik Sommersemester 2011 Dr. Sander Bruggink Übungsleitung: Jan Stückrath Sander Bruggink Automaten und Formale Sprachen 1 Wir beschäftigen uns ab
MehrFORMALE SYSTEME. 10. Vorlesung: Grenzen regulärer Sprachen / Probleme für Automaten. TU Dresden, 14. November 2016.
FORMALE SYSTEME 10. Vorlesung: Grenzen regulärer Sprachen / Probleme für Automaten Markus Krötzsch TU Dresden, 14. November 2016 Rückblick Markus Krötzsch, 14. November 2016 Formale Systeme Folie 2 von
MehrFormale Systeme, Automaten, Prozesse
The Peergroup Inc. smashnet.de Formale Systeme, Automaten, Prozesse Zusammenfassung der Vorlesung RWTH Aachen Sommersemetser 2009 Autoren: Lucas Dohmen Simon Grubert Michael Hackstein lucas.dohmen@rwth-aachen.de
MehrEndliche Automaten, reguläre Ausdrücke, rechtslineare Grammatiken
1 / 15 Endliche Automaten, reguläre Ausdrücke, rechtslineare Grammatiken Prof. Dr. Hans Kleine Büning FG Wissensbasierte Systeme WS 08/09 2 / 15 Deterministischer endlicher Automat (DEA) Definition 1:
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik 4. Kellerautomaten und kontextfreie Sprachen (I) 3.06.2015 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Organisatorisches 1. Teilklausur: Mittwoch,
MehrInformatik III. Christian Schindelhauer Wintersemester 2006/07 7. Vorlesung
Informatik III Christian Schindelhauer Wintersemester 2006/07 7. Vorlesung 16.11.2006 schindel@informatik.uni-freiburg.de 1 Informatik III 7. Vorlesung - 2 Informatik III 7. Vorlesung - 3 Informatik III
MehrChomsky-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
MehrAufgabentypen: 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,
MehrOgden s Lemma: Der Beweis (1/5)
Ogden s Lemma: Der Beweis (1/5) Wir betrachten zuerst die Rahmenbedingungen : Laut dem auf der vorhergehenden Folie zitierten Satz gibt es zur kontextfreien Sprache L eine Grammatik G = (Σ, V, S, P) in
MehrEinführung in die Computerlinguistik Chomskyhierarchie
Einführung in die Computerlinguistik Chomskyhierarchie Dozentin: Wiebke Petersen 14. Foliensatz Wiebke Petersen Einführung CL 1 Wiederholung: Formale Grammatik Denition Eine formale Grammatik ist ein 4-Tupel
MehrFormale 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
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik 3. Endliche Automaten 30.04.2015 Viorica Sofronie-Stokkermans Matthias Horbach e-mail: sofronie@uni-koblenz.de, horbach@uni-koblenz.de 1 Bis jetzt 1. Motivation
MehrTeil IV. Kontextfreie Sprachen, Teil 4: Kellerautomaten
Teil IV Kontextfreie prachen, Teil 4: Kellerautomaten Kellerautomaten (Idee) Ziel Automatenmodell für CFL Kontextfreie prachen Kellerautomaten 1 / 13 Kellerautomaten (Idee) Ziel Automatenmodell für CFL
MehrEinführung in die Computerlinguistik Chomskyhierarchie
Einführung in die Computerlinguistik Chomskyhierarchie Dozentin: Wiebke Petersen 14. Foliensatz Wiebke Petersen Einführung CL 1 Wiederholung: Formale Grammatik Denition Eine formale Grammatik ist ein 4-Tupel
MehrGrundlagen 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
MehrMotivation natürliche Sprachen
Motivation natürliche Sprachen (Satz) (Substantivphrase)(Verbphrase) (Satz) (Substantivphrase)(Verbphrase)(Objektphrase) (Substantivphrase) (Artikel)(Substantiv) (Verbphrase) (Verb)(Adverb) (Substantiv)
MehrFormale Grundlagen der Informatik 1 Kapitel 5 Abschlusseigenschaften
Formale Grundlagen der Informatik 1 Kapitel 5 Frank Heitmann heitmann@informatik.uni-hamburg.de 18. April 2016 Frank Heitmann heitmann@informatik.uni-hamburg.de 1/64 NFAs - Grundlagen DFAs vs. NFAs Der
Mehr1. Klausur Einführung in die Theoretische Informatik Seite 1 von 14
1. Klausur Einführung in die Theoretische Informatik Seite 1 von 14 1. Welche der folgenden Aussagen zu Normalformen einer aussagenlogischen Formel A ist falsch? A. Für Formel A existiert eine KNF K, sodass
MehrTheorie der Informatik
Theorie der Informatik 11. Kontextsensitive und Typ-0-Sprachen Malte Helmert Gabriele Röger Universität Basel 7. April 2014 Kontextsensitive und allgemeine Grammatiken Wiederholung: (kontextsensitive)
MehrNichtdeterministischer Kellerautomat
1 Nichtdeterministischer Kellerautomat endlicher Automat mit Zusatzspeicher in Form eines Kellers (Stapel, Stack) mit Speicheroperationen pro Übergang Keller über X: w X mit den Operationen push, head,
Mehr2. Klausur zur Vorlesung Theoretische Grundlagen der Informatik Wintersemester 2014/2015
2. Klausur zur Vorlesung Theoretische Grundlagen der Informatik Wintersemester 2014/2015 Hier Aufkleber mit Name und Matrikelnummer anbringen Vorname: Nachname: Matrikelnummer: Beachten Sie: Bringen Sie
MehrA : 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