Beispiele: KFG 2.Teil Beispiel 1: Sei G eine Grammatik mit den folgenden Regeln: S  Ac | Bd A  aAb | ab B  aBbb | abb Definieren Sie.

Slides:



Advertisements
Ähnliche Präsentationen
Algorithmen und Datenstrukturen (EI)
Advertisements

Vorlesung Compilertechnik Sommersemester 2008
Christian Schindelhauer
8. Formale Sprachen und Grammatiken
Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Notationen A = ist eine endliche, nichtleere menge,
Grammatiken, Definitionen
Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Grammatiken beschreiben Sprachen L µ *, indem.
Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Universelle Turingmaschinen Eine universelle Turingmaschine.
Verifizieren versus Berechnen
Christian Schindelhauer
Numerik partieller Differentialgleichungen
FH-Hof Grammatiken Richard Göbel. FH-Hof Begriffe Eine Grammatik definiert die Struktur (Syntax) einer Zeichenkette Eine Grammatik definiert nicht die.
Formale Sprachen – Mächtigkeit von Maschinenmodellen
Vorlesung Informatik 3 Einführung in die Theoretische Informatik (02 – Endliche Automaten) Prof. Dr. Th. Ottmann.
Vorlesung Informatik 3 Einführung in die Theoretische Informatik (05 – Reguläre Ausdrücke) Prof. Dr. Th. Ottmann.
Vorlesung Informatik 3 Einführung in die Theoretische Informatik (06 – Reduktion endlicher Automaten) Prof. Dr. Th. Ottmann.
Vorlesung Informatik 3 Einführung in die Theoretische Informatik (12 – Kellerautomaten, PDA) Prof. Dr. Th. Ottmann.
Vorlesung Informatik 3 Einführung in die Theoretische Informatik (04 – Automaten mit ε-Transitionen) Prof. Dr. Th. Ottmann.
Kapitel 5 Stetigkeit.
Prof. Dr. rer.nat. Ralph Großmann Fakultät Informatik / Mathematik Sommersemester 2012 Internet-Technologien XML-basierte Techniken Teil Metasprache der.
Grundkurs Theoretische Informatik, Folie 3.1 © 2004 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 3 Gottfried Vossen Kurt-Ulrich Witt.
Prolog Grundkurs WS 98/99 Christof Rumpf
Reguläre Sprachen Karin Haenelt.
© Karin Haenelt 2006, Äquivalenzen Reg.Ausdrücke, Reg.Sprachen, EA ( ) 1 Reguläre Sprachen Karin Haenelt.
Parsing regulärer Ausdrücke
Sprachwissenschaftliches Institut Einführung in die HPSG Grammatiktheorie 4./11. Mai 2004.
Beispiele für Ausdrucksalgebren
High Performance = Innovative Computer Systems + Efficient Algorithms Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen.
1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Einführung in Berechenbarkeit, Formale Sprachen und Komplexitätstheorie Wintersemester.
Christian Schindelhauer
Christian Schindelhauer
Einführung in Berechenbarkeit, Formale Sprachen und Komplexitätstheorie Wintersemester 2005/ Vorlesung Dominic Dumrauf.
Christian Schindelhauer
Christian Schindelhauer
Christian Schindelhauer
Formale Sprachen Grundbegriffe für formale Sprachen
Grenzen der Regularität
Christian Schindelhauer Wintersemester 2006/07 8. Vorlesung
Information und Kommunikation Hartmut Klauck Universität Frankfurt SS
Information und Kommunikation
Information und Kommunikation
Formale Sprachen Grammatiken und die Chomsky-Hierarchie
Formale Sprachen Reguläre Sprachen Rudolf FREUND, Marian KOGLER.
Automaten, formale Sprachen und Berechenbarkeit II SoSe 2004 Prof. W. Brauer Teil 1: Wiederholung (Vor allem Folien von Priv.-Doz. Dr. Kindler vom WS 2001/02.
Städtisches Gymnasium Beverungen Friedel Berlage
Dieser nicht Fehler finden Algorithmus enthält einfach einen gravierenden welcher zu ist.
Institut für Softwarewissenschaft – Universität WienP.Brezany 1 Beispiele Beispiel 1 Konstruieren Sie für folgende Sprachen über = { a, b, c.
Noam CHOMSKY, Sheila GREIBACH
Noam CHOMSKY, Sheila GREIBACH
Automaten, formale Sprachen und Berechenbarkeit II SoSe 2004 Prof. W. Brauer Teil 3: Potenzreihen und kontextfreie Sprachen (Vgl. Buch von A. Salomaa)
1 Albert-Ludwigs-Universität Freiburg Rechnernetze und Telematik Prof. Dr. Christian Schindelhauer Informatik III Christian Schindelhauer Wintersemester.
1 Albert-Ludwigs-Universität Freiburg Rechnernetze und Telematik Prof. Dr. Christian Schindelhauer Informatik III Arne Vater Wintersemester 2006/07 28.
Christian Schindelhauer Wintersemester 2006/07 5. Vorlesung
1 Albert-Ludwigs-Universität Freiburg Rechnernetze und Telematik Prof. Dr. Christian Schindelhauer Informatik III Christian Schindelhauer Wintersemester.
Christian Schindelhauer Wintersemester 2006/07 3. Vorlesung
Informatik III Christian Schindelhauer Wintersemester 2006/07
Arne Vater Wintersemester 2006/ Vorlesung
Christian Schindelhauer Wintersemester 2006/07 6. Vorlesung
Christian Schindelhauer Wintersemester 2006/07 2. Vorlesung
1 Albert-Ludwigs-Universität Freiburg Rechnernetze und Telematik Prof. Dr. Christian Schindelhauer Informatik III Christian Schindelhauer Wintersemester.
Mensch – Maschine - Kommunikation
Wintersemester 2005 / Vorlesung
Der Hund jagt die Katze. Theoretische Informatik Satz S P O
Institut für Softwarewissenschaft – Universität WienP.Brezany 1 Beispiele (Frist: ) Beispiel 1: Sei  = {a, b} ein Alphabet und Q = {q 0, q 1 } eine.
7. Formale Sprachen und Grammatiken
Institut für Softwarewissenschaft – Universität WienP.Brezany 1 Beispiele: KFG und Automaten Beispiel 1: Sei G eine Grammatik mit den folgenden Regeln:
Inhalt Einordnung und Funktion der lexikalische Analyse Grundlagen
Kapitel 4:Die Chomsky Hierarchie
 Sortigkeit oder Arität
Gliederung 0. Motivation und Einordnung 1. Endliche Automaten
 Präsentation transkript:

Beispiele: KFG 2.Teil Beispiel 1: Sei G eine Grammatik mit den folgenden Regeln: S  Ac | Bd A  aAb | ab B  aBbb | abb Definieren Sie G als ein Quadrupel. Beschreiben Sie L(G). Beispiel 2: Gegeben sei die KFG L = {anbcdn+1 | n  0} Geben Sie eine KFG G an, die L erzeugt. Zeichnen Sie die Ableitungsbäume für a3bcd4 und bcd. Beispiel 3: Sei G eine Grammatik mit den folgenden Regeln: S  U | V U  TaU | TaT V  TbV | TbT T  aTbT | bTaT |  Beschreiben Sie L(G).

Beispiel 4: Sei G eine Grammatik mit den folgenden Regeln: S  T + S | T - S | T T  T * T | T / T | ( S ) | x | y | z Beschreiben Sie L(G). Konstruieren Sie 3 Ableitungsbäume. (Syntaktisch-korrekte infix algebraische Ausdrücke, z.B. „(x+y)*x-z*y/(x+x)“) Automaten und Reguläre Ausdrücke Beispiel 5: Spezifizieren Sie einen endlichen Automaten, der alle Zeichenketten („Strings“, „Worte“) über dem Binäralphabet 0, 1 akzeptiert, in denen sowohl die Anzahl der Nullen als auch die Anzahl der Einsen gerade ist, zum Beispiel die Zeichenketten , 00, 11, 1010, 0000, 110101, usw.

Beispiel 6: Gegeben sei die formale Sprache L über dem Alphabet {0,1}, die genau jene Wörter w  {0,1}* enthält, in denen drei aufeinanderfolgende Nullen oder Einsen vorkommen, z.B. die Zeichenketten 000, 111, 10001, 0111, 1000, 00001, 01110, 01111000, 100011110, usw. Spezifizieren Sie einen endlichen Automaten A, der die Sprache L akzeptiert. Beispiel 7: Spezifizieren Sie einen endlichen Automaten, der die Sprache L(A) = {w | w = 01x10, x  {0,1}* akzeptiert. Beispiel 8: Spezifizieren Sie einen endlichen Automaten A, der die Sprache L(A) = {w | w = xyxy, x  {a,b}* y = cd} akzeptiert.

Beispiel 9: Sei  = {a, b} ein Alphabet und Q = {q0, q1} eine Menge von Zuständen. Weiters sei folgende Übergangsfunktion  : Q x   (Q) gegeben ( - Potenzmenge) : (q0, a) = {q0, q1}, (q0, b) = {q1}, (q1, a) = {q0, q1} (a) Erklären Sie die Komponenten und die Funktionsweise eines endlichen Automaten anhand des Beispiels. (b) Ist der obige Automat durch Angabe von , Q und  bereits vollständig definiert? Was fehlt? (c) Wann nennt man einen Automaten deterministisch? (d) Was ist die von einem Automaten A akzeptierte Sprache? (e) Erklären Sie den wesentlichen Unterschied regulären und kontextfreien Grammatiken (Sprachen). Beispiel 10: Gegeben sei der EA A = ( {q0, q1, q2}, {a, b, c}, , q0, {q0} ) (q0, a) = {q0, q2}, (q0, b) = {q0, q1}, (q1, c) = {q0}, (q2, b) = {q1}, (q2, c) = {q0}. Konstruieren Sie daraus einen äquivalenten deterministischen Automaten. Beschreiben Sie die von A akzeptierte Sprache durch einen regulären Ausdruck.

Beispiel 11: Gegeben sei die (reguläre) Sprache L über dem Alphabet {a,b,c} durch folgenden regulären Ausdruck R: c+(a+b+c)3ac* (a) Beschreiben Siel L formal durch Angabe einer (regulären) Menge. (b) Finden Sie einen endlichen Automaten A, der L(G) akzeptiert. (c) Konstruieren Sie daraus einen äquivalentnen deterministisch. endlichen Automaten A´. (d) Bestimmen Sie eine reguläre Grammatik G, die L(G) erzeugt. Beispiel 12: Beschreiben Sie die durch folgende reguläre Ausdrücke definierten formalen Sprachen mithilfe von Mengenschreibweise, konstruieren Sie reguläre Grammatiken, die diese Sprachen erzeugen und definieren Sie Automaten, die sie akzeptieren. (1) (ab + bb)* (2) b+ + a+ + c+ (3) (b + a + c)+bc(b + a)* (4) (b + a*)*

Beispiel 13: Konstruieren Sie zu den folgenden Automaten äquivalente deterministische Automaten und beschreiben Sie die von den Automaten akzeptierten Sprachen durch reguläre Grammatiken und reguläre Ausdrücke. (a) A1 = ( {q0, q1}, {a, b}, { (q0, a) = {q1}, (q0, b) = {q1}, (q1, a) = {q0, q1} }, q0, {q1} ) (b) A2 = ( {q0, q1 , q2, q3 , q4}, {a, b, c}, { (q0, a) = {q1, q2}, (q1, b) = {q3}, (q2, c) = {q3}, (q3, a) = {q0, q4} }, q0, {q3, q4} ) - (c) A3 = ( {q0, q1 , q2, q3 }, {a, b, c}, { (q0, a) = {q1}, (q1, b) = {q0, q2}, (q2, c) = {q0, q3} }, q0, {q3} ) Beispiel 14: Gegeben sei die formale Sprache L über dem Alphabet {a,b,c}, die genau jene Wörter w  {a, b, c}* enthält, in denen das Teilwort acb nicht vorkommt. (a) Geben Sie einen EA A an, der L akzeptiert. (b) Konstruieren Sie (gegebenenfalls) daraus einen äquivalenten determinist. EA A´. (c) Beschreiben Sie die Sprache L formal (Mengenschreibweise). (d) Bestimmen Sie eine Grammatik G, die L(G) erzeugt. (e) Beschreiben Sie L durch einen regulären Ausdruck.

Beispiel 15: Sei G eine Grammatik mit den folgenden Regeln: S  SS | aSb | bSa |  Beschreiben Sie L(G). Beispiel 16: Sei G eine Grammatik mit den folgenden Regeln: S  aA | , A  bS. Beispiel 17: Sei  = {a, b}, Finden Sie eine Grammatik, die die Menge von allen Zeichenketten mir mindestens drei a Symbolen generiert. Beispiel 18: Für folgende Sprachen finden Sie entsprechende Grammatiken, die Sie generieren (a) L1 = {anbm | n 0, m > n } (b) L2 = {anbn-3 | n 3 } Beispiel 19: Sei  = {a}. Finden Sie eine Grammatik für die folgende Sprachen: (a) L1 = { w | |w| mod 3 = 0 } (b) L2 = { w | |w| mod 3 > 0 } Beispiel 20: Sei  = {a, b}. Finden Sie eine Grammatik für die folgende Sprache: L = {w | na(w) = nb(w) + 1}, wo na(w) bezeichnet die Anzahl von a in w, und nb(w) bezeichnet die Anzahl von b in w

Beispiel 21 Gegeben: Alphabet  = {a,b} und Ausdruck r = (a+b)*b(a+ab)* Zählen Sie die 11 Wörter w mit |w|<4 der Sprache L(r) auf. Beispiel 22 Gegeben: Alphabet  = {0,1} und Ausdruck r = ((0+1)(0+1)*)*00(0+1) a) Beschreiben Sie die Sprache L(r) und b) versuchen Sie r einfacher bzw. kürzer anzuschreiben. Beispiel 23 Sprache L = {anbm : (n+m) ist gerade und (n+m)>0} Finden Sie einen entsprechenden Regulären Ausdruck r.

Beispiel 24 Gegeben: Alphabet  = {a,b} und Sprache L = {anbm : n≥4, m≤4} Finden Sie einen entsprechenden Regulären Ausdruck r. Beispiel 25 Gegeben: Alphabet  = {0,1} Finden Sie Reguläre Ausdrücke r für folgende Sprachen L: a) alle Wörter w enthalten eine gerade Anzahl von Nullen. b) alle Wörter w enden mit 01. c) alle Wörter w enden nicht mit 01. Beispiel 26 Sprache L = {a,aa,aaa,…,b,ab,aab,aaab,…}