Grundkurs Theoretische Informatik, Folie 7.1 © 2006 G. Vossen,K.-U. Witt Grundkurs Theoretische...

19
Grundkurs Theoretische Informatik Kapitel 7 Gottfried Vossen Gottfried Vossen Kurt-Ulrich Witt Kurt-Ulrich Witt

Transcript of Grundkurs Theoretische Informatik, Folie 7.1 © 2006 G. Vossen,K.-U. Witt Grundkurs Theoretische...

Page 1: 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.1 © 2006 G. Vossen,K.-U. Witt

Grundkurs Theoretische Informatik

Kapitel 7

Gottfried VossenGottfried Vossen

Kurt-Ulrich WittKurt-Ulrich Witt

Page 2: 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

Page 3: 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.3 © 2006 G. Vossen,K.-U. Witt

Ableitungsbaum für die Linksableitung von aabbaa

Page 4: 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.4 © 2006 G. Vossen,K.-U. Witt

Verschiedene Ableitungsbäume für a*a+a

Page 5: 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.5 © 2006 G. Vossen,K.-U. Witt

Termbäume zu den Ableitungsbäumen aus Bild 7.2

Page 6: 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.6 © 2006 G. Vossen,K.-U. Witt

Ableitungsbaum für a*a+a mit der eindeutigen Grammatik

und zugehöriger Termbaum

Page 7: 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.7 © 2006 G. Vossen,K.-U. Witt

Ableitungsbaum und Termbaum für a

Page 8: 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.8 © 2006 G. Vossen,K.-U. Witt

Ableitungsbaum und Termbaum für a+a

Page 9: 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.9 © 2006 G. Vossen,K.-U. Witt

Ableitungsbaum und Termbaum für a*a

Page 10: 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.10 © 2006 G. Vossen,K.-U. Witt

Ableitungsbaum und Termbaum für a+(a+a)

Page 11: 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.11 © 2006 G. Vossen,K.-U. Witt

Ableitungsbaum für a*(((a-a)/a)-((a+a)*a))

Page 12: 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.12 © 2006 G. Vossen,K.-U. Witt

Termbaum für a*(((a-a)/a)-((a+a)*a))

Page 13: 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.13 © 2006 G. Vossen,K.-U. Witt

Syntaxdiagramm zur Regel A ::= k

Page 14: 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.14 © 2006 G. Vossen,K.-U. Witt

Syntaxdiagramm zur Regel A ::= k

Page 15: 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.15 © 2006 G. Vossen,K.-U. Witt

Syntaxdiagramm zur Regel A ::=

Page 16: 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.16 © 2006 G. Vossen,K.-U. Witt

Syntaxdiagramm zur Regel A ::= 0

Page 17: 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.17 © 2006 G. Vossen,K.-U. Witt

Syntaxdiagramme zur Grammatik Ginteger

Page 18: 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.18 © 2006 G. Vossen,K.-U. Witt

JSD-Spezifikation der Angestelltendatei

Page 19: 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.19 © 2006 G. Vossen,K.-U. Witt

Ende Kapitel 7Ende Kapitel 7