Grundkurs Theoretische Informatik, Folie 7.1 © 2006 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 7 Gottfried Vossen Kurt-Ulrich Witt.

Slides:



Advertisements
Ähnliche Präsentationen
Vorlesung Compilertechnik Sommersemester 2008
Advertisements

Kontextfreie Grammatiken
Gliederung 1. Grundlagen der Bottom-Up-Syntaxanalyse
8. Formale Sprachen und Grammatiken
Syntax, Semantik, Spezifikation - Grundlagen der Informatik R. Hartwig Kapitel 4 / 1 Termalgebren Definition "Freie Algebra" Die -Algebra A = [A, F ] heißt.
Imperative Programmierung
Grammatiken, Definitionen
Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Grammatiken beschreiben Sprachen L µ *, indem.
Kapitel 4 Syntaktische Analyse: LR Parsing.
CFGs und Kellerautomaten
Basisinformationstechnologie I Dozent T.Schaßan Ableitungsbaum Referentin: Munkhnast Dembereldalai.
M a r c – o l i v e r p a h l Informatik II – Kapitel 18 Übersetzung Zusammenfassung des Kapitel 18 Küchlin, Weber, Vorversion Einführung in die Informatik,
Prof. Dr. rer.nat. Ralph Großmann Fakultät Informatik / Mathematik Sommersemester 2012 Internet-Technologien XML-basierte Techniken Teil Metasprache der.
© 2006 W. Oberschelp, G. Vossen Rechneraufbau & Rechnerstrukturen, Folie 2.1.
Rechneraufbau & Rechnerstrukturen, Folie 1.1 © W. Oberschelp, G. Vossen W. Oberschelp G. Vossen Kapitel 1.
Rechneraufbau & Rechnerstrukturen, Folie 4.1 © W. Oberschelp, G. Vossen W. Oberschelp G. Vossen Kapitel 4.
Rechneraufbau & Rechnerstrukturen, Folie 3.1 © 2006 W. Oberschelp, G. Vossen.
Rechneraufbau & Rechnerstrukturen, Folie 6.1 © W. Oberschelp, G. Vossen W. Oberschelp G. Vossen Kapitel 6.
Grundkurs Theoretische Informatik, Folie 2.1 © 2006 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 2 Gottfried Vossen Kurt-Ulrich Witt.
Grundkurs Theoretische Informatik, Folie 3.1 © 2004 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 3 Gottfried Vossen Kurt-Ulrich Witt.
Datenmodelle, Datenbanksprachen und Datenbankmanagementsysteme
Rechneraufbau & Rechnerstrukturen, Folie 1.1 © 2006 W. Oberschelp, G. Vossen.
Rechneraufbau & Rechnerstrukturen, Folie 7.1 © 2006 W. Oberschelp, G. Vossen.
© 2006 W. Oberschelp, G. Vossen Rechneraufbau & Rechnerstrukturen, Folie 4.1.
Rechneraufbau & Rechnerstrukturen, Folie 5.1 © 2006 W. Oberschelp, G. Vossen.
Rechneraufbau & Rechnerstrukturen, Folie 10.1 © W. Oberschelp, G. Vossen W. Oberschelp G. Vossen Kapitel 10.
Prolog Grundkurs WS 98/99 Christof Rumpf
Parsing regulärer Ausdrücke
? Grammatik  Orthographie ?
d.h. für alle  mit () = (s1,s2 ,...,sn,s) gilt: wenn
Beispiele für Ausdrucksalgebren
Eine (Gleichungs-)Spezifikation ist ein Paar SPEC = (, E),
Gleichungskalkül und Induktion
Kapitel 19 Astronomie Autor: Bennett et al. Unsere Galaxis, die Milchstraße Kapitel 19 Unsere Galaxis, die Milchstraße © Pearson Studium 2010 Folie: 1.
1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Einführung in Berechenbarkeit, Formale Sprachen und Komplexitätstheorie Wintersemester.
Einführung in Berechenbarkeit, Formale Sprachen und Komplexitätstheorie Wintersemester 2005/ Vorlesung Dominic Dumrauf.
Christian Schindelhauer
Grundkurs Theoretische Informatik
Datenmodelle, Datenbanksprachen und Datenbankmanagementsysteme
Eignung von Grammatik-basiertem Layout für grafische Programmiersprachen Seminar Layout-Algorithmen für Graphen Institut für Informatik Christian-Albrechts.
Christian Schindelhauer Wintersemester 2006/07 8. Vorlesung
Grundlagen der Programmierung
Einführung in die Informatik für Naturwissenschaftler und Ingenieure (alias Einführung in die Programmierung) (Vorlesung) Prof. Dr. Günter Rudolph Fachbereich.
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
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.
Noam CHOMSKY, Sheila GREIBACH
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
Christian Schindelhauer Wintersemester 2006/07 6. Vorlesung
Informatik Formale Sprachen 1.2 Grammatiken formaler Sprachen
Agenda Motivation und Einordnung Syntaxgerichtete Übersetzung
Mensch – Maschine - Kommunikation
Der Hund jagt die Katze. Theoretische Informatik Satz S P O
7. Formale Sprachen und Grammatiken
Kapitel 4:Die Chomsky Hierarchie
Semantische Analyse und attributierte Grammatiken
2 Grundlagen In diesem Abschnitt werden die Grundbegriffe und Methoden der Theorie der formalen Sprachen und der Automaten wiederholt, soweit diese ben.
GrundkursTheoretische Informatik, Folie 11.1 © 2004 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 11 Gottfried Vossen Kurt-Ulrich Witt.
Grundkurs Theoretische Informatik, Folie 9.1 © 2004 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 9 Gottfried Vossen Kurt-Ulrich Witt.
Rechneraufbau & Rechnerstrukturen, Folie 5.1 © W. Oberschelp, G. Vossen W. Oberschelp G. Vossen Kapitel 5.
GrundkursTheoretische Informatik, Folie 12.1 © 2006 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 12 Gottfried Vossen Kurt-Ulrich Witt.
Rechneraufbau & Rechnerstrukturen, Folie 8.1 © W. Oberschelp, G. Vossen W. Oberschelp G. Vossen Kapitel 8.
Grundkurs Theoretische Informatik, Folie 5.1 © 2004 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 5 Gottfried Vossen Kurt-Ulrich Witt.
Grundkurs Theoretische Informatik, Folie 8.1 © 2004 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 8 Gottfried Vossen Kurt-Ulrich Witt.
GrundkursTheoretische Informatik, Folie 11.1 © 2006 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 11 Gottfried Vossen Kurt-Ulrich Witt.
Grundkurs Theoretische Informatik, Folie 6.1 © 2004 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 6 Gottfried Vossen Kurt-Ulrich Witt.
Gottfried Vossen 5. Auflage 2008 Datenmodelle, Datenbanksprachen und Datenbankmanagementsysteme Kapitel 12: XQuery und SQL/XML.
Grundkurs Theoretische Informatik, Folie 9.1 © 2006 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 9 Gottfried Vossen Kurt-Ulrich Witt.
 Präsentation transkript:

Grundkurs Theoretische Informatik, Folie 7.1 © 2006 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 7 Gottfried Vossen Kurt-Ulrich Witt

Grundkurs Theoretische Informatik, Folie 7.2 © 2006 G. Vossen,K.-U. Witt Anwendung kontextfreier Sprachen Ableitungs- und Syntaxbäume Compilerbau Syntax von Programmiersprachen Reguläre Definitionen

Grundkurs Theoretische Informatik, Folie 7.3 © 2006 G. Vossen,K.-U. Witt Ableitungsbaum für die Linksableitung von aabbaa

Grundkurs Theoretische Informatik, Folie 7.4 © 2006 G. Vossen,K.-U. Witt Verschiedene Ableitungsbäume für a * a+a

Grundkurs Theoretische Informatik, Folie 7.5 © 2006 G. Vossen,K.-U. Witt Termbäume zu den Ableitungsbäumen aus Bild 7.2

Grundkurs Theoretische Informatik, Folie 7.6 © 2006 G. Vossen,K.-U. Witt Ableitungsbaum für a * a + a mit der eindeutigen Grammatik und zugehöriger Termbaum

Grundkurs Theoretische Informatik, Folie 7.7 © 2006 G. Vossen,K.-U. Witt Ableitungsbaum und Termbaum für a

Grundkurs Theoretische Informatik, Folie 7.8 © 2006 G. Vossen,K.-U. Witt Ableitungsbaum und Termbaum für a+a

Grundkurs Theoretische Informatik, Folie 7.9 © 2006 G. Vossen,K.-U. Witt Ableitungsbaum und Termbaum für a * a

Grundkurs Theoretische Informatik, Folie 7.10 © 2006 G. Vossen,K.-U. Witt Ableitungsbaum und Termbaum für a+(a+a)

Grundkurs Theoretische Informatik, Folie 7.11 © 2006 G. Vossen,K.-U. Witt Ableitungsbaum für a*(((a-a)/a)-((a+a)*a))

Grundkurs Theoretische Informatik, Folie 7.12 © 2006 G. Vossen,K.-U. Witt Termbaum für a*(((a-a)/a)-((a+a)*a))

Grundkurs Theoretische Informatik, Folie 7.13 © 2006 G. Vossen,K.-U. Witt Syntaxdiagramm zur Regel A ::= k

Grundkurs Theoretische Informatik, Folie 7.14 © 2006 G. Vossen,K.-U. Witt Syntaxdiagramm zur Regel A ::= k

Grundkurs Theoretische Informatik, Folie 7.15 © 2006 G. Vossen,K.-U. Witt Syntaxdiagramm zur Regel A ::=

Grundkurs Theoretische Informatik, Folie 7.16 © 2006 G. Vossen,K.-U. Witt Syntaxdiagramm zur Regel A ::= 0

Grundkurs Theoretische Informatik, Folie 7.17 © 2006 G. Vossen,K.-U. Witt Syntaxdiagramme zur Grammatik G integer

Grundkurs Theoretische Informatik, Folie 7.18 © 2006 G. Vossen,K.-U. Witt JSD-Spezifikation der Angestelltendatei

Grundkurs Theoretische Informatik, Folie 7.19 © 2006 G. Vossen,K.-U. Witt Ende Kapitel 7