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
|
|
- Nelly Schwarz
- vor 7 Jahren
- Abrufe
Transkript
1 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 ab by bb bz bc cz cc a n b n c n kontextsensiti G = (Σ, V, P, S) V = {S, X, Y, Z P : S X ε X axyz ayz ZY YZ ay ab by bb bz bc cz cc kontextfreie Sprachen (Typ 2) Abschnitt 33 wichtige nächste Stufe nach regulär zulässige Produktionen bei Typ 2, ε L: Verschärfung: Chomsky-Normalform: Satz: jede Typ 2 Grammatik ohne ε-produktionen ist äquialent zu Chomsky NF Grammatik X, ε X YZ und X a Beweisidee zur Transformation in Chomsky NF (Satz 332): ersetze a auf rechten Seiten durch neues Z a neue Produktionen Z a a eliminiere X Y Produktionen (durch shortcuts) eliminiere X Y 1 Y k Produktionen für k > 2 erzeugen beide die Sprache L = {a n b n c n : n N G ist kontextsensiti (nur harmlose ε-produktion!) FGdI I Sommer 2011 MOtto und MZiegler 97/139 FGdI I Sommer 2011 MOtto und MZiegler 98/139 Kap 3: Grammatiken Kontextfreie 33 Chomsky NF und binäre Bäume Ableitungsschritt X YZ binäre Verzweigung X a keine Verzweigung Y X Y Z a Z a a Lemma 333 Ableitungsbaum mit inneren Knoten für X in X YZ Anwendungen in Chomsky NF Grammatik G: w L(G) hat Ableitung der Länge 2 w 1 Beweise indukti über Länge l der Ableitung on w (V Σ) + w V + 2 w Σ = l + 1 FGdI I Sommer 2011 MOtto und MZiegler 99/139 Kap 3: Grammatiken Kontextfreie 33 kontextfreie Sprachen: Abschlusseigenschaften Abschluss unter Vereinigung, Konkatenation, Stern Zu gegebenen Typ 2 Grammatiken für L 1, L 2, L finde explizit Typ 2 Grammatiken für L 1 L 2, für L 1 L 2, bzw für L (Satz 337) zb: seien G (i) = (Σ, V (i), P (i), S (i) ) kontextfrei, V (1) V (2) = G = (Σ, V, P, S) mit L(G) = L(G (1) ) L(G (2) ): V := V (1) V (2) {S S neu P := {S S (1) S (2) P (1) P (2) Bsp: L 1 = {a n b n : n N {c, L 2 = {a {b m c m : m N kontextfrei, nicht jedoch L 1 L 2 = {a n b n c n : n N (später) Kein Abschluss unter Durchschnitt/Komplement: L 1 L 2 = L 1 L 2 FGdI I Sommer 2011 MOtto und MZiegler 100/139
2 Kap 3: Grammatiken Kontextfreie 33 noch ein Pumping Lemma Abschnitt 333 L Σ kontextfrei existiert n N sodass sich jedes x L mit x n zerlegen lässt in x = yuwz, uw ε, uw n, und für alle m N y u m w m z = y u {{ u w {{ w z L X m mal m mal Beweis (Satz 338): L = L(G), G in Chomsky NF, n := 2 V Für x L(G), x n, hat jeder Ableitungsbaum zwei geschachtelte X Vorkommen desselben X Finde uw wie in Skizze Beispiel: {a n b n c n : n N nicht kontextfrei {{ w {{ {{ u {{ FGdI I Sommer 2011 MOtto und MZiegler 101/139 Kap 3: Grammatiken CYK 334 Erinnerung: Wortprobleme als Entscheidungsprobleme Wortproblem zu L Σ : Lösung durch Algorithmus A mit w A Eingabe: w Σ Entscheide, ob w L { ja falls w L akzeptieren nein falls w L erwerfen definite Entscheidung im Gegensatz zu: Akzeptieren wie bei NFA Erzeugen/Ableiten wie in Grammatik FGdI I Sommer 2011 MOtto und MZiegler 102/139 Kap 3: Grammatiken CYK 334 CYK Algorithmus Abschnitt 334 effizienter Algorithmus für das kontextfreie Wortproblem für G in Chomsky NF (Produktionen X a und X YZ) berechne zu w = a 1 a n systematisch für alle Teilwörter w i,j = a i a j (1 i j n) V (i, j) := {X V : X G w dynamisches i,j Programmieren rekursie Auswertung für i < j: (mit wachsender Länge j i + 1) Kap 3: Grammatiken CYK 334 das Wichtigste aus Kapitel 3 Grammatiken und Erzeugungsprozesse Nieaus der Chomsky-Hierarchie Normalform und Pumping Lemma für kontextfreie Sprachen gdw X G w i,j für ein k mit i k < j und ein X YZ ist Y G w i,k und Z G w k+1,j Cocke, Younger, Kasami CYK Algorithmus: Wortproblem in w 3 Schritten entscheidbar FGdI I Sommer 2011 MOtto und MZiegler 103/139 FGdI I Sommer 2011 MOtto und MZiegler 104/139
3 Kap 4: Berechnungsmodelle Kapitel 4: Berechnungsmodelle: Turingmaschinen (DTM/NTM) Kellerautomaten (PDA) Endliche Automaten (DFA/NFA) Berechnungsmodelle prinzipielle Fragen: Was lässt sich berechnen? (zb Wortprobleme) qualitati-quantitatie Fragen: Wie schwer ist ein algorithmisches Problem? Komplexitätshierarchien? (zb in Chomsky-Hierarchie) Algorithmus = (Berechnungs-)Verfahren nach Al Chwarismi (Bagdad, um 800), latinisiert zu Algoritmi FGdI I Sommer 2011 MOtto und MZiegler 106/139 Kellerautomaten (PDA) Abschnitt 41 PDA = NFA + Kellerspeicher (stack, push-down storage) Konfiguration jeweils bestimmt durch Zustand Position in der Eingabe Kellerinhalt erlaubte (nichtdeterministische) Übergänge abhängig on Zustand oberstem Kellersymbol nächstem Eingabesymbol Übergang resultiert in Zustandswechsel (optional) Vorrücken in Eingabe pop und push im Keller: Entfernen des obersten Kellersymbols (pop) Einschreiben eines Wortes in Keller (push) FGdI I Sommer 2011 MOtto und MZiegler 107/139 PDA P = ( Σ, Q, q 0,, A, Γ, # ) : Σ Eingabealphabet Q Zustandsmenge Γ Kelleralphabet q 0 Q Anfangszustand # Γ Anfangs-Kellersymbol A Q akzeptierende Zustände endliche Übergangsrelation: Konfigurationen: C = (q,, α) Q Σ Γ : q Q aktueller Zustand, Σ Restabschnitt des Eingabewortes, α Γ aktueller Kellerinhalt Q Γ (Σ {ε) Γ Q Startkonfiguration auf Eingabe w: C 0 [w] = (q 0, w, #) Nachfolgekonfigurationen zu C = (q,, α), α = γ α rest, γ Γ oberstes Kellersymbol, Keller nicht leer: C = (q,, α = x ) mit α für ein (q, γ, x, β, q = β α ) rest FGdI I Sommer 2011 MOtto und MZiegler 108/139
4 PDA Berechnungen Startkonfiguration auf w = a 1 a n C 0 [w] a 1 a 2 q 0 typische Konfiguration C auf w = a 1 a n {{ γ a 1 a 2 b a C n α rest q FGdI I Sommer 2011 MOtto und MZiegler 109/139 a n # PDA Berechnungen {{ γ a 1 a 2 b a C n α rest q Nachfolgekonfiguration on C zu (q, γ, b, β, q ) { { C a 1 a 2 b a n q Nachfolgekonfiguration on C zu (q, γ, ε, β, q ) { { C a 1 a 2 b a n q β α rest β α rest FGdI I Sommer 2011 MOtto und MZiegler 110/139 PDA Berechnungen (terminierende) Berechnung on P auf Eingabe w Σ : Konfigurationsfolge C 0 C f, wobei C 0 = C 0 [w] = (q 0, w, #), C i+1 eine Nachfolgekonfiguration on C i, 0 i < f, C f Endkonfiguration ohne anwendbare Transition Notation: C 0 [w] P C f akzeptierende Berechnung: C f = (q, ε, ε) mit q A on P akzeptierte Sprache: L(P) = { w Σ P : C 0 [w] (q, ε, ε) für ein q A Beispiel: PDA für Klammersprache P = ( {(, ), Q, q 0,, {q 0, Γ, # ), Q = A = {q, ein Zustand q = q 0 Γ = {, # Transitionen: (q, #, (, #, q) erarbeitet ( und addiert im Keller (q,, (,, q) erarbeitet ( und addiert im Keller (q,, ), ε, q) erarbeitet ) und löscht ein im Keller (q, #, ε, ε, q) ε-transition, die # löscht Idee: Kellerspeicher als Zähler für u ( u ) FGdI I Sommer 2011 MOtto und MZiegler 111/139 FGdI I Sommer 2011 MOtto und MZiegler 112/139
5 Satz: kontextfrei = PDA-erkennbar Satz 415 Kap 4: Berechnungsmodelle Turingmaschinen 42 Turing: prinzipielle Berechenbarkeit Abschnitt 42 Für L Σ sind äquialent: (i) L kontextfrei (ii) L = L(P) für einen PDA P Beweis (i) (ii): aus L = L(G), G = (Σ, V, P, S) kontextfrei, gewinne PDA P = (Σ, Q, q 0,, A, Γ, #) Q = A = {q, q 0 = q Γ = V Σ, # = S Transitionen: (q, X, ε, α, q) für Produktionen X α on G (q, a, a, ε, q) für jedes a Σ (ii) (i): aus L = L(P), P = (Σ, Q, q 0,, Γ, #), gewinne kontextfreies G = (Σ, V, P, S) Idee: Ableitungsschritte on G Berechnungsschritte on P Alan M Turing ( ) Pionier der modernen Theorie der Berechenbarkeit prinzipielle Grenzen und Möglichkeiten 1936 publiziert: On Computable Numbers mit mathematischer Abstraktion seiner Zuarbeiter (sog computer ) Heutzutage Turingmaschine allgemein akzeptiert als Modell für Digitalrechner (PCs) FGdI I Sommer 2011 MOtto und MZiegler 113/139 FGdI I Sommer 2011 MOtto und MZiegler 114/139 Kap 4: Berechnungsmodelle Turingmaschinen 42 Turingmaschinen: DTM Abschnitt 42 DTM = DFA + unbeschränkter Lese/Schreibzugriff Eingabe-/Arbeitsspeicher: unbeschränkte Folge on Zellen als Band mit Lese/Schreibkopf Konfiguration bestimmt durch Zustand (q Q) Position auf dem Band Bandbeschriftung Übergang in Nachfolgekonfiguration abhängig on Zustand aktuell gelesenem Bandsymbol Übergang resultiert in Zustandswechsel Schreiben Kopfbewegung (<,, >) FGdI I Sommer 2011 MOtto und MZiegler 115/139 Kap 4: Berechnungsmodelle Turingmaschinen 42 DTM M = ( Σ, Q, q 0, δ, q +, q ) Q Zustandsmenge q 0 Q Anfangszustand q + /q Q akzeptierender/erwerfender Endzustand, q q + δ Übergangsfunktion δ : Q (Σ { ) (Σ { ) {<,, > Q Konfigurationen: C = (α, q, x, β) (Σ { ) Q (Σ { ) (Σ { ) α: Bandinhalt links om Kopf x: Bandinhalt in Kopfposition β: Bandinhalt rechts om Kopf q: aktueller Zustand Startkonfiguration auf Eingabe w: C 0 [w] := (ε, q 0,, w) Nachfolgekonfiguration: C C gemäß δ Endkonfigurationen: q {q +, q, akzeptierend/erwerfend FGdI I Sommer 2011 MOtto und MZiegler 116/139
6 Kap 4: Berechnungsmodelle Aufzählkbarkeit/Entscheidbarkeit 43 DTM: Akzeptieren und Entscheiden Abschnitt 43 on DTM M akzeptierte Sprache L(M) = {w Σ : M akzeptiert w = {w Σ : w M q + Entscheidung (des Wortproblems) on L M entscheidet L falls für alle w Σ : { w M q + für w L q für w L L entscheidbar (rekursi): L on einer DTM entschieden L semi-entscheidbar (rekursi aufzählbar): L on einer DTM akzeptiert definit! Kap 4: Berechnungsmodelle Aufzählkbarkeit/Entscheidbarkeit 43 Beispiel: DTM für Palindrom δ 0 1 q 0 (, >, q? ) q? (,, q + ) (, >, q 0 ) (, >, q 1 ) q 0 (, <, q 0 ) (0, >, q 0 ) (1, >, q 0 ) q 1 (, <, q 1 ) (0, >, q 1 ) (1, >, q 1 ) q 0 (,, q + ) (, <, q ) (,, q ) q 1 (,, q + ) (,, q ) (, <, q ) q (, >, q? ) (0, <, q ) (1, <, q ) intendierte Rolle der Zustände: q 0 : Startzustand q? : Anfang abfragen q 0 : zum Ende, merke 0 q 0 : ergleiche Ende mit 0 q 1 : zum Ende, merke 1 q 1 : ergleiche Ende mit 1 q : zum Anfang q + /q : akzeptiere/erwerfe FGdI I Sommer 2011 MOtto und MZiegler 117/139 FGdI I Sommer 2011 MOtto und MZiegler 118/139 Kap 4: Berechnungsmodelle Aufzählkbarkeit/Entscheidbarkeit 43 Church-Turing These Kap 4: Berechnungsmodelle Aufzählkbarkeit/Entscheidbarkeit 43 einige Väter der Berechenbarkeitstheorie algorithmische Entscheidbarkeit = Turing-Entscheidbarkeit algorithmische Erzeugbarkeit = Turing-Aufzählbarkeit Berechenbarkeit = Turing-Berechenbarkeit Belege: Erfahrung: alle akzeptierten Algorithmen lassen sich im Prinzip mit DTM simulieren Robustheit des TM Modells bewiesene Äquialenz mit ganz unterschiedlichen alternatien Charakterisierungen wichtig: idealisiertes Konzept on prinzipieller Machbarkeit im Ggs zu praktischer Machbarkeit Church ( ) Turing ( ) Gödel ( ) Kleene ( ) FGdI I Sommer 2011 MOtto und MZiegler 119/139 FGdI I Sommer 2011 MOtto und MZiegler 120/139
Turing: prinzipielle Berechenbarkeit Abschnitt 4.2. Turingmaschinen: DTM Abschnitt 4.2. DTM: Akzeptieren und Entscheiden Abschnitt 4.
Kap. 4: Berechnungsmodelle Turingmaschinen 4.2 Turing: prinzipielle Berechenbarkeit Abschnitt 4.2 Kap. 4: Berechnungsmodelle Turingmaschinen 4.2 Turingmaschinen: DTM Abschnitt 4.2 DTM = DFA + unbeschränkter
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
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
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
MehrÜ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
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
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
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)
MehrKontextfreie Sprachen
Kontextfreie Sprachen Bedeutung: Programmiersprachen (Compilerbau) Syntaxbäume Chomsky-Normalform effiziente Lösung des Wortproblems (CYK-Algorithmus) Grenzen kontextfreier Sprachen (Pumping Lemma) Charakterisierung
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
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 III. Arne Vater Wintersemester 2006/ Vorlesung
Informatik III Arne Vater Wintersemester 2006/07 10. Vorlesung 24.11.2006 1 Turingmaschinen Informatik III 9. Vorlesung - 2 Turingmaschinen Eine (deterministische 1-Band) Turingmaschine (DTM) wird beschrieben
Mehr11.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
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
MehrEin 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
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,
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik 4. Kellerautomaten und kontextfreie Sprachen (IV) 15.06.2016 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Übersicht 1. Motivation 2. Terminologie
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
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:
MehrTuringmaschinen Vorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: Komplexitätstheorie und effiziente Algorithmen
Vorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: und effiziente Algorithmen Wintersemester 2011/12 Schematische Darstellung einer Turing-Maschine: Kopf kann sich nach links und
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
MehrKapitel: 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
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
MehrDank. Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I. Erzeugende Grammatiken akzeptierende Automaten.
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
MehrRekursiv 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
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
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.
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:
MehrTyp-0-Sprachen und Turingmaschinen
Typ-0-Sprachen und Turingmaschinen Jean Vancoppenolle Universität Potsdam Einführung in formale Sprachen und Automaten Dr. Thomas Hanneforth (Präsentation aus Foliensätzen von Dr. Thomas Hanneforth und
MehrInformatik III. Christian Schindelhauer Wintersemester 2006/ Vorlesung
Informatik III Christian Schindelhauer Wintersemester 2006/07 13. Vorlesung 07.12.2006 1 Überblick: Die Church- Turing-These Turing-Maschinen 1-Band Turing-Maschine Mehrband-Turing-Maschinen Nichtdeterministische
MehrDeterministische und nichtdeterministische Turing-Maschinen, Typ1- und Typ0-Sprachen
Dr. Sebastian Bab WiSe 12/13 Theoretische Grundlagen der Informatik für TI Termin: VL 15 + 16 vom 17.12.2012 und 20.12.2012 Deterministische und nichtdeterministische Turing-Maschinen, Typ1- und Typ0-Sprachen
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik 4. Kellerautomaten und kontextfreie Sprachen (IV) 31.05.2017 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Übersicht 1. Motivation 2. Terminologie
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
MehrDas Halteproblem für Turingmaschinen
Das Halteproblem für Turingmaschinen Das Halteproblem für Turingmaschinen ist definiert als die Sprache H := { T w : T ist eine TM, die bei Eingabe w {0, 1} hält }. Behauptung: H {0, 1} ist nicht entscheidbar.
Mehr8. 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
MehrADS-EI 5.2 Struktur einer Turing-Maschine 120/451 ľernst W. Mayr
Bemerkung: Jede NDTM N (die die Sprache L(N) akzeptiert) kann in eine deterministische Turing-Maschine M konvertiert werden, die ebenfalls genau die Sprache L(N) akzeptiert. Beweisidee: Die Berechnungspfade
Mehr{a i b i i 0} FORMALE SYSTEME. Kellerautomaten. (Nicht)Abschlusseigenschaften für Typ 2. Ein Berechnungsmodell für Typ-2-Sprachen
(Nicht)Abschlusseigenschaften für Typ 2 FORMALE SYSTEME 15. Vorlesung: Einleitung Kellerautomaten Markus Krötzsch Lehrstuhl Wissensbasierte Systeme Satz: Wenn L, L 1 und L 2 kontextfreie Sprachen sind,
MehrEinfü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
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik 4. Kellerautomaten und kontextfreie Sprachen (III) 18.06.2015 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Übersicht 1. Motivation 2. Terminologie
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
Mehr2.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
MehrKontextsensitive und Typ 0 Sprachen Slide 2. Die Turingmaschine
Kontextsensitive und Typ 0 Sprachen Slide 2 Die Turingmaschine DTM = Deterministische Turingmaschine NTM = Nichtdeterministische Turingmaschine TM = DTM oder NTM Intuitiv gilt: DTM = (DFA + dynamischer
Mehr1 Einführung. 2 Typ-0- und Typ-1-Sprachen. 3 Berechnungsmodelle. 4 Unentscheidbarkeit. 5 Unentscheidbare Probleme. 6 Komplexitätstheorie
1 Einführung 2 Typ-0- und Typ-1-Sprachen 3 Berechnungsmodelle 4 Unentscheidbarkeit 5 Unentscheidbare Probleme 6 Komplexitätstheorie 15 Ziele vgl. AFS: Berechnungsmodelle für Typ-0- und Typ-1-Sprachen (Nicht-)Abschlußeigenschaften
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
MehrSprachen und Grammatiken
Grundlagen der Theoretischen Informatik Wintersemester 2007 / 2008 Prof. Dr. Heribert Vollmer Institut für Theoretische Informatik 03.12.2007 Sprachen und Grammatiken Alphabete, Zeichen und Symbole Ein
MehrBeweis: Nach dem Pumping-Lemma für kontextfreie Sprachen ist
CF versus CS Theorem CF ist echt in CS enthalten. Beweis: Nach dem Pumping-Lemma für kontextfreie Sprachen ist L = {a m b m c m m 1} nicht kontextfrei. Andererseits ist L kontextsensitiv, wie die Grammatik
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:
MehrTheoretische Grundlagen der Informatik
Theoretische Grundlagen der Informatik Vorlesung am 15.01.2015 INSTITUT FÜR THEORETISCHE 0 KIT 15.01.2015 Universität des Dorothea Landes Baden-Württemberg Wagner - Theoretische und Grundlagen der Informatik
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 Theoretischen Informatik
Grundlagen der Theoretischen Informatik Turingmaschinen und rekursiv aufzählbare Sprachen (V) 15.07.2015 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Übersicht 1. Motivation 2. Terminologie
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,
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
MehrEinführung in die Theoretische Informatik I/ Grundlagen der Theoretischen Informatik. SS 2007 Jun.-Prof. Dr. Bernhard Beckert Ulrich Koch
Einführung in die Theoretische Informatik I/ Grundlagen der Theoretischen Informatik SS 2007 Jun.-Prof. Dr. Bernhard Beckert Ulrich Koch 3. Teilklausur 25. 07. 2007 Persönliche Daten bitte gut leserlich
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
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
MehrAutomaten und formale Sprachen Notizen zu den Folien
13 Kellerautomaten Automaten und formale Sprachen Notizen zu den Folien Warum ein Automatenmodell für kontextfreien Sprachen (zu Folie 233) Manche Konstruktionen und Verfahren lassen sich besser mit Hilfe
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:
MehrAutomaten und Formale Sprachen alias Theoretische Informatik. Sommersemester 2012
utomaten und Formale Sprachen alias Theoretische Informatik Sommersemester 2012 Dr. Sander Bruggink Übungsleitung: Jan Stückrath Sander Bruggink utomaten und Formale Sprachen 1 Der CYK-lgorithmus Beispiel
MehrTheoretische Grundlagen der Informatik. Vorlesung am 8. Januar INSTITUT FÜR THEORETISCHE INFORMATIK
Theoretische Grundlagen der Informatik 0 08.01.2019 Torsten Ueckerdt - Theoretische Grundlagen der Informatik KIT Die Forschungsuniversität in der Helmholtz-Gemeinschaft www.kit.edu Letzte Vorlesung Eine
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik Turingmaschinen und rekursiv aufzählbare Sprachen (V) 7.07.2016 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Übersicht 1. Motivation 2. Terminologie
MehrGrundlagen 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
MehrProseminar TI: Kellerautomaten. 1 Motivation. 2 Einführung. Vortrag: Von Sebastian Oltmanns und Dorian Wachsmann. Dozent: Wolfgang Mulzer.
Proseminar TI: Kellerautomaten Vortrag: 10.11.2015 Von Sebastian Oltmanns und Dorian Wachsmann. Dozent: Wolfgang Mulzer. 1 Motivation Wir kennen bereits die Chomsky-Hierarchie. Sie klassiziert formale
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
MehrF2 Zusammenfassung Letzte Tips zur Klausur
F2 Zusammenfassung Letzte Tips zur Klausur Berndt Farwer FB Informatik, Uni HH F2-ommersemester 2001-(10.6.) p.1/15 Funktionen vs. Relationen Funktionen sind eindeutig, Relationen brauchen nicht eindeutig
MehrEinführung in Berechenbarkeit, Komplexität und formale Sprachen
Johannes Blömer Skript zur Vorlesung Einführung in Berechenbarkeit, Komplexität und formale Sprachen Universität Paderborn Wintersemester 2011/12 Inhaltsverzeichnis 1 Einleitung 2 1.1 Ziele der Vorlesung...................................
MehrÜbungsblatt 7. Vorlesung Theoretische Grundlagen der Informatik im WS 18/19
Institut für Theoretische Informatik Lehrstuhl Prof. Dr. D. Wagner Übungsblatt 7 Vorlesung Theoretische Grundlagen der Informatik im WS 18/19 Ausgabe 22. Januar 2019 Abgabe 5. Februar 2019, 11:00 Uhr (im
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
MehrGrundlagen 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
MehrKapitel 3. Kontextfreie Sprachen. Induktive Charakterisierung der Sprache L der korrekten Klammerausdrücke: (w) L, falls w L vw L, falls v, w L
Kapitel 3 Kontextfreie Sprachen Induktive Charakterisierung der Sprache L der korrekten Klammerausdrücke: s. Übung ε L (w) L, falls w L vw L, falls v, w L (R0) (R1) (R2) Für beliebige w {(, )} kann w L
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,δ,
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
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:
Mehr2. 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 5. April 2005 2. Klausur zur Vorlesung Informatik III Wintersemester 2004/2005 Lösung! Beachten
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 Endliche Automaten. 1.1 Endliche Automaten mit Ausgabe. X nichtleere endliche Menge von Symbolen (Eingabealphabet)
Automaten und Berechenbarkeit 1 1 Endliche Automaten 1.1 Endliche Automaten mit Ausgabe Definition 1.1.1 A = (X, Y, Z, z 0, δ, λ) heißt deterministischer endlicher Automat mit Ausgabe genau dann, wenn
Mehr5.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
MehrTheoretische 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
Mehr2. Teilklausur zur Vorlesung Grundlagen der Theoretischen Informatik
2. Teilklausur zur Vorlesung Grundlagen der Theoretischen Informatik Ulrich Furbach Claudia Schon Christian Schwarz Arbeitsgruppe Künstliche Intelligenz Fachbereich Informatik, Universität Koblenz-Landau
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
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik Turingmaschinen und rekursiv aufzählbare Sprachen (II) 2.07.2015 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Übersicht 1. Motivation 2. Terminologie
MehrTuring Maschine. Thorsten Timmer. SS 2005 Proseminar Beschreibungskomplexität bei Prof. D. Wotschke. Turing Maschine SS 2005 p.
Thorsten Timmer SS 2005 Proseminar Beschreibungskomplexität bei Prof. D. Wotschke Turing Maschine SS 2005 p. 1/35 Inhalt Einführung Formale Definition Berechenbare Sprachen und Funktionen Berechnung ganzzahliger
MehrÜbungsblatt 6. Vorlesung Theoretische Grundlagen der Informatik im WS 18/19
Institut für Theoretische Informatik Lehrstuhl Prof. Dr. D. Wagner Übungsblatt 6 Vorlesung Theoretische Grundlagen der Informatik im WS 18/19 Ausgabe 8. Januar 2019 Abgabe 22. Januar 2019, 11:00 Uhr (im
MehrWS06/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.
MehrEndliche 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:
MehrFalls H die Eingabe verwirft, so wissen wir, dass M bei Eingabe w nicht hält. M hält im verwerfenden Haltezustand. Beweis:
1 Unentscheidbarkeit 2 Grundlagen der Theoretischen Informatik Till Mossakowski Fakultät für Informatik Otto-von-Guericke Universität Magdeburg Wintersemester 2014/15 #include char *s="include
MehrKapitel 3: Kontextfreie Sprachen. Kontextfreie Sprachen 1 / 99
Kapitel 3: Kontextfreie Sprachen Kontextfreie Sprachen 1 / 99 Themen (a) Wann ist eine Sprache nicht kontextfrei? Das Pumping Lemma und Ogden s Lemma. (b) Abschlusseigenschaften kontextfreier Sprachen.
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:
Mehr2. Klausur zur Vorlesung Theoretische Grundlagen der Informatik Wintersemester 2017/2018
2. Klausur zur Vorlesung Theoretische Grundlagen der Informatik Wintersemester 2017/2018 Hier Aufkleber mit Name und Matrikelnummer anbringen Vorname: Nachname: Matrikelnummer: Beachten Sie: Bringen Sie
MehrHochschule Bonn-Rhein-Sieg University of Applied Sciences Grantham-Allee Sankt Augustin
Hochschule Bonn-Rhein-Sieg Uniersity of Applied Sciences Grantham-Allee 20 53757 Sankt Augustin Director b-it Applied Science Institute Fachbereich Informatik Prof. Dr. Kurt-Ulrich Witt Mathematische und
Mehr(z', B 1...B k ) δ(z,a,a):
7. Kellerautomaten 7.1 Kellerautomaten und akeptierte Sprachen Endliche Automaten haben, abgesehen von den Zuständen, kein "Gedächtnis" und können sich nicht "merken", wie sie in einen bestimmten Zustand
MehrEinfache Turing Maschine. Formale Spezifikation einer einfachen Turing Maschine. M = (Σ,Γ,#,Q,s,F, ) Σ
Einfache Turing Maschine Band Formale Spezifikation einer einfachen Turing Maschine Lese-/ Schreibkopf Endliche Kontrolle Rechenschrittregeln: (endlich viele) Startkonfiguration: x Σ * auf Band L/S-Kopf
MehrUnentscheidbarkeit von Problemen mittels Turingmaschinen
Unentscheidbarkeit von Problemen mittels Turingmaschinen Daniel Roßberg 0356177 Roland Schatz 0355521 2. Juni 2004 Zusammenfassung In dieser Arbeit befassen wir uns mit der Unentscheidbarkeit von Problemen
MehrFormale 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
MehrTheoretische Informatik 1
Theoretische Informatik 1 Die Komplexitätsklasse P David Kappel Institut für Grundlagen der Informationsverarbeitung TU Graz SS 2012 Übersicht Äquivalenz von RM und TM Äquivalenz, Sätze Simulation DTM
MehrTyp-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