Kapitel 2: Methoden zur Beschreibung von Syntax
|
|
|
- Karin Engel
- vor 5 Jahren
- Abrufe
Transkript
1 Einführung in die Informatik: Programmierung und Softwareentwicklung Wintersemester 2018/19 Kapitel 2: Methoden zur Beschreibung von Syntax Prof. Dr. David Sabel Lehr- und Forschungseinheit für Theoretische Informatik Institut für Informatik, LMU München WS 2018/19 Stand der Folien: 26. Oktober 2018 Die Inhalte dieser Folien basieren mit freundlicher Genehmigung tlw. auf Folien von Prof. Dr. Rolf Hennicker aus dem WS 2017/18 und auf Folien von PD Dr. Ulrich Schöpp aus dem WS 2010/11
2 Übersicht: Inhalt und Ziele Zwei Methoden zur Beschreibung (Definition) der Syntax von Programmiersprachen Backus-Naur-Form BNF und deren Erweiterung EBNF Syntax-Diagramme Peter Naur Mitwirkung bei ALGOL ACM Turing Award John Backus Entwicklung von FORTRAN 1977 ACM Turing Award Bildnachweise: (1) The original uploader was Eriktj at English Wikipedia. ( Peternaur, (2) PIerre.Lescanne ( Backus.jpg), D. Sabel 02 Syntax WS 2018/19 2/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
3 Aufbau von Programmen Java-Programme lassen sich ähnlich wie natürlichsprachliche Texte in verschiedenartige Einzelteile zerlegen Natürliche Sprache Ein Programmierer schreibt ein Programm Java-Programm Subjekt Prädikat Objekt public class Test { public static void main ( String [] args ){ } } System. out. print (" Hal "); System. out. println ("lo!"); Methodenname Stringliteral Anweisungen} Methoden -definition D. Sabel 02 Syntax WS 2018/19 3/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
4 Syntax von Programmiersprachen Der Aufbau von Programmen ist durch die Syntax der Programmiersprache festgelegt. Syntax einer Programmiersprache: System von Regeln, das festlegt, aus welchen Einzelteilen Programme bestehen können, wie man diese Einzelteile textuell aufschreibt und wie man sie zu einem Programm kombinieren kann. Unterschied zu natürlicher Sprache: Die Syntax von Programmiersprachen ist vollständig und präzise festgelegt. D. Sabel 02 Syntax WS 2018/19 4/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
5 Syntax von Programmiersprachen (2) Seit ALGOL 60 wird die Syntax von Programmiersprachen präzise durch formale Grammatiken beschrieben. Der Compiler benutzt die Grammatik der Programmiersprache, um ein gegebenes Programm auf Richtigkeit zu überprüfen. Die Compiler-Phase, in der das geschieht, nennt man Syntaxanalyse oder Parsen. Im Fehlerfall tritt ein Syntax Error (auch Parse Error genannt) auf. D. Sabel 02 Syntax WS 2018/19 5/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
6 BNF und Syntaxdiagramme: Grundideen Beispiel für eine Grammatikregel: Als Syntaxdiagramm: Satz : Subjekt Prädikat Objekt In BNF-Form: <Satz> ::= <Subjekt> <Prädikat> <Objekt> In EBNF-Form: Satz = Subjekt Prädikat Objekt Das Syntaxdiagramm und die (E)BNF (Backus-Naur-Form) erlauben das Bilden syntaktisch korrekter Sätze: Ein Programmierer schreibt ein Programm Ein Programmierer schreibt ein Programm Subjekt Prädikat Objekt D. Sabel 02 Syntax WS 2018/19 6/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
7 BNF und Syntaxdiagramme: Grundideen (2) Weiterer Beispielsatz: Ein Programm schreibt einen Programmierer Ein Programm schreibt einen Programmierer Subjekt Prädikat Objekt Dieser Satz ist zwar semantischer Unsinn, aber syntaktisch korrekt. Der Compiler benutzt die Grammatik um ein gegebenes Programm auf syntaktische Richtigkeit zu überprüfen D. Sabel 02 Syntax WS 2018/19 7/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
8 Backus-Naur-Form Die Backus-Naur-Form (BNF) wurde erstmals zur Beschreibung der Syntax von Algol 60 verwendet. Die BNF ist eine Notation für Grammatiken, die vor allem für die Beschreibung von Programmiersprachen verwendet wird. Heute ist die BNF (in notationellen Varianten) die Standardbeschreibungstechnik für Programmiersprachen und andere strukturierte Texte. Wir verwenden in der Vorlesung die Erweiterte Backus-Naur-Form (EBNF) (eingeführt zur Beschreibung von PL1, 60er Jahre). Auch die Syntax von Java ist in einer Variante der Backus-Naur-Form beschrieben. Wichtige Begriffe: Symbole, Regeln, Grammatik, Ableitung D. Sabel 02 Syntax WS 2018/19 8/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
9 Symbole In Grammatiken (BNF / EBNF) kommen drei Arten von Symbolen vor: Nichtterminalsymbole Terminalsymbole Operatorsymbole D. Sabel 02 Syntax WS 2018/19 9/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
10 Symbole: Nichtterminale Nichtterminalsymbole: Symbole, die noch ersetzt werden, und daher durch Regeln definiert werden. In der BNF werden Nichtterminalsymbole gekennzeichnet, indem sie durch <... > umschlossen werden. In der EBNF gibt es keine besondere Kennzeichnung der Nichtterminalsymbole. Beispiele: in BNF: <Digit>, <Sign> in EBNF: Digit, Sign D. Sabel 02 Syntax WS 2018/19 10/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
11 Symbole: Terminale Terminalsymbole: Zeichen oder Folgen von Zeichen, die genau so in der zu definierenden Sprache vorkommen. In der BNF werden Terminalsymbole nicht gekennzeichnet. In der EBNF werden Terminalsymbole gekennzeichnet, indem sie durch doppelte Anführungszeichen umschlossen werden. Beispiele: in BNF: 0, 1, class in EBNF: "0", "1", "class" D. Sabel 02 Syntax WS 2018/19 11/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
12 Operatoren Operatorsymbole: In der BNF gibt es das Operatorsymbol für den Auswahloperator In der EBNF gibt es: Operatorsymbol für den Auswahloperator Operatorsymbol [ ] für den Optionsoperator Operatorsymbol { } für den Wiederholungsoperator D. Sabel 02 Syntax WS 2018/19 12/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
13 Regeln in EBNF Jede EBNF-Regel (oder auch Produktion/Produktionsregel) hat die Form Nichtterminalsymbol = Ausdruck Ein Ausdruck ist entweder ein Terminalsymbol oder ein Nichtterminalsymbol oder ein zusammengesetzter Ausdruck. D. Sabel 02 Syntax WS 2018/19 13/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
14 Regeln in EBNF Jede EBNF-Regel (oder auch Produktion/Produktionsregel) hat die Form Ein Ausdruck ist entweder ein Terminalsymbol oder ein Nichtterminalsymbol oder Nichtterminalsymbol = Ausdruck ein zusammengesetzter Ausdruck. Aus gegebenen Ausdrücken E, E 1 und E 2 können mit den Operatorsymbolen zusammengesetzte Ausdrücke gebildet werden: Sequentielle Komposition E 1 E 2 ( E 1 gefolgt von E 2 ) D. Sabel 02 Syntax WS 2018/19 13/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
15 Regeln in EBNF Jede EBNF-Regel (oder auch Produktion/Produktionsregel) hat die Form Ein Ausdruck ist entweder ein Terminalsymbol oder ein Nichtterminalsymbol oder Nichtterminalsymbol = Ausdruck ein zusammengesetzter Ausdruck. Aus gegebenen Ausdrücken E, E 1 und E 2 können mit den Operatorsymbolen zusammengesetzte Ausdrücke gebildet werden: Sequentielle Komposition E 1 E 2 ( E 1 gefolgt von E 2 ) Auswahl E 1 E 2 ( E 1 oder E 2 ) D. Sabel 02 Syntax WS 2018/19 13/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
16 Regeln in EBNF Jede EBNF-Regel (oder auch Produktion/Produktionsregel) hat die Form Ein Ausdruck ist entweder ein Terminalsymbol oder ein Nichtterminalsymbol oder Nichtterminalsymbol = Ausdruck ein zusammengesetzter Ausdruck. Aus gegebenen Ausdrücken E, E 1 und E 2 können mit den Operatorsymbolen zusammengesetzte Ausdrücke gebildet werden: Sequentielle Komposition E 1 E 2 ( E 1 gefolgt von E 2 ) Auswahl E 1 E 2 ( E 1 oder E 2 ) Option [E] ( E darf weggelassen werden ) D. Sabel 02 Syntax WS 2018/19 13/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
17 Regeln in EBNF Jede EBNF-Regel (oder auch Produktion/Produktionsregel) hat die Form Ein Ausdruck ist entweder ein Terminalsymbol oder ein Nichtterminalsymbol oder Nichtterminalsymbol = Ausdruck ein zusammengesetzter Ausdruck. Aus gegebenen Ausdrücken E, E 1 und E 2 können mit den Operatorsymbolen zusammengesetzte Ausdrücke gebildet werden: Sequentielle Komposition E 1 E 2 ( E 1 gefolgt von E 2 ) Auswahl E 1 E 2 ( E 1 oder E 2 ) Option [E] ( E darf weggelassen werden ) Wiederholung {E} ( E kann 0-mal oder mehrmals hintereinander vorkommen ) D. Sabel 02 Syntax WS 2018/19 13/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
18 Grammatik und Worte Eine Grammatik besteht aus einer Menge von Regeln für jedes Nichtterminal sowie einem Startsymbol (Nichtterminalsymbol) Ein Wort ist eine Folge von Terminalzeichen. Eine Grammatik G definiert eine Menge von Worten, genannt: Die Sprache von G (Definition folgt noch) D. Sabel 02 Syntax WS 2018/19 14/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
19 Beispiele für EBNF-Grammatiken (1) Grammatik für Ziffern (mit Startsymbol Digit ) NonZeroDigit = "1" "2" "3" "4" "5" "6" "7" "8" "9" Digit = "0" NonZeroDigit D. Sabel 02 Syntax WS 2018/19 15/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
20 Beispiele für EBNF-Grammatiken (1) Grammatik für Ziffern (mit Startsymbol Digit ) NonZeroDigit = "1" "2" "3" "4" "5" "6" "7" "8" "9" } {{ } EBNF-Regel Digit = "0" NonZeroDigit D. Sabel 02 Syntax WS 2018/19 15/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
21 Beispiele für EBNF-Grammatiken (1) Grammatik für Ziffern (mit Startsymbol Digit ) Nichtterminalsymbol NonZeroDigit = "1" "2" "3" "4" "5" "6" "7" "8" "9" } {{ } EBNF-Regel Digit = "0" NonZeroDigit D. Sabel 02 Syntax WS 2018/19 15/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
22 Beispiele für EBNF-Grammatiken (1) Grammatik für Ziffern (mit Startsymbol Digit ) Nichtterminalsymbol Terminalsymbole NonZeroDigit = "1" "2" "3" "4" "5" "6" "7" "8" "9" } {{ } EBNF-Regel Digit = "0" NonZeroDigit D. Sabel 02 Syntax WS 2018/19 15/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
23 Beispiele für EBNF-Grammatiken (1) Grammatik für Ziffern (mit Startsymbol Digit ) Nichtterminalsymbol Terminalsymbole NonZeroDigit = "1" "2" "3" "4" "5" "6" "7" "8" "9" } {{ oder -Auswahl } EBNF-Regel Digit = "0" NonZeroDigit D. Sabel 02 Syntax WS 2018/19 15/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
24 Beispiele für EBNF-Grammatiken (2) Grammatik für ganze Zahlen, wobei IntegerValue das Startsymbol ist: IntegerValue = [ Sign ] DecimalNumeral Sign = "+" "-" DecimalNumeral = "0" NonZeroDigit [ Digits ] Digits = Digit { Digit } Informell: Eine ganze Zahl besteht aus einer nichtleeren Folge von Ziffern ohne führende Null, eventuell mit vorangestelltem Vorzeichen. D. Sabel 02 Syntax WS 2018/19 16/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
25 Beispiele für EBNF-Grammatiken (2) Grammatik für ganze Zahlen, wobei IntegerValue das Startsymbol ist: IntegerValue = [ Sign ] DecimalNumeral Sign = "+" "-" DecimalNumeral = "0" NonZeroDigit [ Digits ] Digits = Digit { Digit } Informell: Eine ganze Zahl besteht aus einer nichtleeren Folge von Ziffern ohne führende Null, eventuell mit vorangestelltem Vorzeichen. Andere mögliche Varianten für die Regel für Digits ohne den Wiederholungsoperator zu verwenden: (alle verwenden Rekursion): Digits = Digit [ Digits ] oder Digits = [ Digits ] Digit Ohne Optionsoperator: Digits = Digit Digit Digits oder Digits = Digit Digits Digit D. Sabel 02 Syntax WS 2018/19 16/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
26 Wie wendet man Regeln an? Ist +42 eine ganze Zahl? D. Sabel 02 Syntax WS 2018/19 17/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
27 Wie wendet man Regeln an? Ist +42 eine ganze Zahl? Wir bilden folgende Ableitung: IntegerValue D. Sabel 02 Syntax WS 2018/19 17/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
28 Wie wendet man Regeln an? Ist +42 eine ganze Zahl? Wir bilden folgende Ableitung: IntegerValue Regel für IntegerValue [ Sign ] DecimalNumeral D. Sabel 02 Syntax WS 2018/19 17/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
29 Wie wendet man Regeln an? Ist +42 eine ganze Zahl? Wir bilden folgende Ableitung: Regel für IntegerValue IntegerValue [ Sign ] DecimalNumeral Ausführen des Operators [ ] Sign DecimalNumeral D. Sabel 02 Syntax WS 2018/19 17/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
30 Wie wendet man Regeln an? Ist +42 eine ganze Zahl? Wir bilden folgende Ableitung: Regel für IntegerValue IntegerValue [ Sign ] DecimalNumeral Ausführen des Operators [ ] Sign DecimalNumeral Regel für Sign ( "+" "-" ) DecimalNumeral D. Sabel 02 Syntax WS 2018/19 17/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
31 Wie wendet man Regeln an? Ist +42 eine ganze Zahl? Wir bilden folgende Ableitung: Regel für IntegerValue IntegerValue [ Sign ] DecimalNumeral Ausführen des Operators [ ] Sign DecimalNumeral Regel für Sign Ausführen des Operators ( "+" "-" ) DecimalNumeral "+" DecimalNumeral D. Sabel 02 Syntax WS 2018/19 17/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
32 Wie wendet man Regeln an? Ist +42 eine ganze Zahl? Wir bilden folgende Ableitung: Regel für IntegerValue IntegerValue [ Sign ] DecimalNumeral Ausführen des Operators [ ] Sign DecimalNumeral Regel für Sign Ausführen des Operators ( "+" "-" ) DecimalNumeral "+" DecimalNumeral Regel für DecimalNumeral "+" ( "0" NonZeroDigit [ Digits ]) D. Sabel 02 Syntax WS 2018/19 17/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
33 Wie wendet man Regeln an? Ist +42 eine ganze Zahl? Wir bilden folgende Ableitung: Regel für IntegerValue IntegerValue [ Sign ] DecimalNumeral Ausführen des Operators [ ] Sign DecimalNumeral Regel für Sign Ausführen des Operators ( "+" "-" ) DecimalNumeral "+" DecimalNumeral Regel für DecimalNumeral "+" ( "0" NonZeroDigit [ Digits ]) Ausführen des Operators "+" NonZeroDigit [ Digits ] D. Sabel 02 Syntax WS 2018/19 17/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
34 Wie wendet man Regeln an? Ist +42 eine ganze Zahl? Wir bilden folgende Ableitung: Regel für IntegerValue IntegerValue [ Sign ] DecimalNumeral Ausführen des Operators [ ] Sign DecimalNumeral Regel für Sign Ausführen des Operators ( "+" "-" ) DecimalNumeral "+" DecimalNumeral Regel für DecimalNumeral "+" ( "0" NonZeroDigit [ Digits ]) Ausführen des Operators "+" NonZeroDigit [ Digits ] Regel für NonZeroDigit "+" ( "1" "2" "3" "4" "5" "6" "7" "8" "9" )[ Digits ] D. Sabel 02 Syntax WS 2018/19 17/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
35 Wie wendet man Regeln an? Ist +42 eine ganze Zahl? Wir bilden folgende Ableitung: Regel für IntegerValue IntegerValue [ Sign ] DecimalNumeral Ausführen des Operators [ ] Sign DecimalNumeral Regel für Sign Ausführen des Operators ( "+" "-" ) DecimalNumeral "+" DecimalNumeral Regel für DecimalNumeral "+" ( "0" NonZeroDigit [ Digits ]) Ausführen des Operators "+" NonZeroDigit [ Digits ] Regel für NonZeroDigit "+" ( "1" "2" "3" "4" "5" "6" "7" "8" "9" )[ Digits ] Ausführen des Operators "+" "4" [ Digits ] D. Sabel 02 Syntax WS 2018/19 17/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
36 Wie wendet man Regeln an? (2) "+" "4" [ Digits ] D. Sabel 02 Syntax WS 2018/19 18/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
37 Wie wendet man Regeln an? (2) "+" "4" [ Digits ] Ausführen des Operators [ ] "+" "4" Digits D. Sabel 02 Syntax WS 2018/19 18/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
38 Wie wendet man Regeln an? (2) Ausführen des Operators [ ] "+" "4" [ Digits ] "+" "4" Digits Regel für Digits "+" "4" Digit { Digit } D. Sabel 02 Syntax WS 2018/19 18/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
39 Wie wendet man Regeln an? (2) Ausführen des Operators [ ] "+" "4" [ Digits ] "+" "4" Digits Regel für Digits "+" "4" Digit { Digit } Regel für Digit "+" "4" ( "0" NonZeroDigit ){ Digit } D. Sabel 02 Syntax WS 2018/19 18/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
40 Wie wendet man Regeln an? (2) Ausführen des Operators [ ] "+" "4" [ Digits ] "+" "4" Digits Regel für Digits "+" "4" Digit { Digit } Regel für Digit "+" "4" ( "0" NonZeroDigit ){ Digit } Ausführen des Operators "+" "4" NonZeroDigit { Digit } D. Sabel 02 Syntax WS 2018/19 18/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
41 Wie wendet man Regeln an? (2) Ausführen des Operators [ ] "+" "4" [ Digits ] "+" "4" Digits Regel für Digits "+" "4" Digit { Digit } Regel für Digit "+" "4" ( "0" NonZeroDigit ){ Digit } Ausführen des Operators "+" "4" NonZeroDigit { Digit } Regel für NonZeroDigit "+" "4" ( "1" "2" "3" "4" "5" "6" "7" "8" "9" ){ Digit }) D. Sabel 02 Syntax WS 2018/19 18/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
42 Wie wendet man Regeln an? (2) Ausführen des Operators [ ] "+" "4" [ Digits ] "+" "4" Digits Regel für Digits "+" "4" Digit { Digit } Regel für Digit "+" "4" ( "0" NonZeroDigit ){ Digit } Ausführen des Operators "+" "4" NonZeroDigit { Digit } Regel für NonZeroDigit "+" "4" ( "1" "2" "3" "4" "5" "6" "7" "8" "9" ){ Digit }) Ausführen des Operators "+" "4" "2" { Digit } D. Sabel 02 Syntax WS 2018/19 18/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
43 Wie wendet man Regeln an? (2) Ausführen des Operators [ ] "+" "4" [ Digits ] "+" "4" Digits Regel für Digits "+" "4" Digit { Digit } Regel für Digit "+" "4" ( "0" NonZeroDigit ){ Digit } Ausführen des Operators "+" "4" NonZeroDigit { Digit } Regel für NonZeroDigit "+" "4" ( "1" "2" "3" "4" "5" "6" "7" "8" "9" ){ Digit }) Ausführen des Operators "+" "4" "2" { Digit } Ausführen des Operators { } "+" "4" "2" D. Sabel 02 Syntax WS 2018/19 18/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
44 Ableitung von Worten Ein Wort w kann vom Startsymbol der Grammatik G abgeleitet werden, falls es eine Ableitung der Form E 0 E 1... E k gibt, wobei E 0 ist das Startsymbol der Grammatik G E k ist identisch zum Wort w E i E i+1 entsteht entweder durch 1. Ersetzung eines oder mehrerer Nichtterminale in E i durch die rechte Seite ihrer Regeln, oder 2. durch Ausführung von (einem oder mehreren) Operator(en), d.h. [E] darf gelöscht werden oder durch E ersetzt werden E F darf durch E oder durch F ersetzt werden {E} darf gelöscht werden oder durch E{E} ersetzt werden. D. Sabel 02 Syntax WS 2018/19 19/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
45 Kurze Ableitung Häufig wird Schritt 1) und Schritt 2) in einem Schritt zusammengefasst. Man spricht dann von einer kurzen Ableitung. E i E i+1 entsteht entweder durch 1. Ersetzung eines oder mehrerer Nichtterminale in E i durch die rechte Seite ihrer Regeln, oder 2. durch Ausführung von (einem oder mehreren) Operator(en) D. Sabel 02 Syntax WS 2018/19 20/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
46 Kurze Ableitung Häufig wird Schritt 1) und Schritt 2) in einem Schritt zusammengefasst. Man spricht dann von einer kurzen Ableitung. E i E i+1 entsteht entweder durch 1. Ersetzung eines oder mehrerer Nichtterminale in E i durch die rechte Seite ihrer Regeln, oder und / oder 2. durch Ausführung von (einem oder mehreren) Operator(en) D. Sabel 02 Syntax WS 2018/19 20/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
47 Kurze Ableitung Häufig wird Schritt 1) und Schritt 2) in einem Schritt zusammengefasst. Man spricht dann von einer kurzen Ableitung. E i E i+1 entsteht durch 1. Ersetzung eines oder mehrerer Nichtterminale in E i durch die rechte Seite ihrer Regeln, und / oder 2. durch Ausführung von (einem oder mehreren) Operator(en) sodass mindestens ein Nichtterminal ersetzt oder ein Operator ausgeführt wurde. D. Sabel 02 Syntax WS 2018/19 20/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
48 Kurze Ableitung Häufig wird Schritt 1) und Schritt 2) in einem Schritt zusammengefasst. Man spricht dann von einer kurzen Ableitung. E i E i+1 entsteht durch 1. Ersetzung eines oder mehrerer Nichtterminale in E i durch die rechte Seite ihrer Regeln, und / oder 2. durch Ausführung von (einem oder mehreren) Operator(en) sodass mindestens ein Nichtterminal ersetzt oder ein Operator ausgeführt wurde. Darf -Konvention: Bei einer kurzen Ableitung dürfen Schritt 1) und 2) zusammengefasst werden (müssen aber nicht). Folgerung: Jede lange Ableitung ist auch eine kurze (Die Umkehrung gilt nicht!) D. Sabel 02 Syntax WS 2018/19 20/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
49 Beispiele (1) Betrachte die folgende Grammatik mit Startsymbol PEx : PEx = NonZeroDigit PEx "+" PEx NonZeroDigit = "1" "2" "3" "4" "5" "6" "7" "8" "9" Eine (lange) Ableitung von 1+2+3: PEx D. Sabel 02 Syntax WS 2018/19 21/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
50 Beispiele (1) Betrachte die folgende Grammatik mit Startsymbol PEx : PEx = NonZeroDigit PEx "+" PEx NonZeroDigit = "1" "2" "3" "4" "5" "6" "7" "8" "9" Eine (lange) Ableitung von 1+2+3: PEx Ersetzung von PEx NonZeroDigit PEx "+" PEx D. Sabel 02 Syntax WS 2018/19 21/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
51 Beispiele (1) Betrachte die folgende Grammatik mit Startsymbol PEx : PEx = NonZeroDigit PEx "+" PEx NonZeroDigit = "1" "2" "3" "4" "5" "6" "7" "8" "9" Eine (lange) Ableitung von 1+2+3: Ersetzung von PEx PEx NonZeroDigit PEx "+" PEx Ersetzung von PEx NonZeroDigit PEx "+" ( NonZeroDigit PEx "+" PEx ) D. Sabel 02 Syntax WS 2018/19 21/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
52 Beispiele (1) Betrachte die folgende Grammatik mit Startsymbol PEx : PEx = NonZeroDigit PEx "+" PEx NonZeroDigit = "1" "2" "3" "4" "5" "6" "7" "8" "9" Eine (lange) Ableitung von 1+2+3: Ersetzung von PEx PEx NonZeroDigit PEx "+" PEx Ersetzung von PEx NonZeroDigit PEx "+" ( NonZeroDigit PEx "+" PEx ) Ausführung von (an 2 Stellen) PEx "+" ( PEx "+" PEx ) D. Sabel 02 Syntax WS 2018/19 21/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
53 Beispiele (1) Betrachte die folgende Grammatik mit Startsymbol PEx : PEx = NonZeroDigit PEx "+" PEx NonZeroDigit = "1" "2" "3" "4" "5" "6" "7" "8" "9" Eine (lange) Ableitung von 1+2+3: Ersetzung von PEx PEx NonZeroDigit PEx "+" PEx Ersetzung von PEx NonZeroDigit PEx "+" ( NonZeroDigit PEx "+" PEx ) Ausführung von (an 2 Stellen) PEx "+" ( PEx "+" PEx ) Ersetzung von PEx (an 2 Vorkommen) ( NonZeroDigit PEx "+" PEx ) "+" ( PEx "+" ( NonZeroDigit PEx "+" PEx )) D. Sabel 02 Syntax WS 2018/19 21/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
54 Beispiele (1) Betrachte die folgende Grammatik mit Startsymbol PEx : PEx = NonZeroDigit PEx "+" PEx NonZeroDigit = "1" "2" "3" "4" "5" "6" "7" "8" "9" Eine (lange) Ableitung von 1+2+3: Ersetzung von PEx PEx NonZeroDigit PEx "+" PEx Ersetzung von PEx NonZeroDigit PEx "+" ( NonZeroDigit PEx "+" PEx ) Ausführung von (an 2 Stellen) PEx "+" ( PEx "+" PEx ) Ersetzung von PEx (an 2 Vorkommen) ( NonZeroDigit PEx "+" PEx ) "+" ( PEx "+" ( NonZeroDigit PEx "+" PEx )) Ausführung von (an 2 Stellen) NonZeroDigit "+" ( PEx "+" NonZeroDigit ) D. Sabel 02 Syntax WS 2018/19 21/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
55 Beispiele (2) PEx = NonZeroDigit PEx "+" PEx NonZeroDigit = "1" "2" "3" "4" "5" "6" "7" "8" "9" Fortsetzung der (langen) Ableitung von 1+2+3: NonZeroDigit "+" ( PEx "+" NonZeroDigit ) Ersetzung von NonZeroDigit (2 ) und PEx ( "1"... "9" ) "+" (( NonZeroDigit PEx "+" PEx ) "+" ( "1"... "9" )) Ausführung von (mehrere Stellen) "1" "+" NonZeroDigit "+" "3" Ersetzung von NonZeroDigit "1" "+" ( "1"... "9" ) "+" "3" Ausführung von "1" "+" "2" "+" "3" D. Sabel 02 Syntax WS 2018/19 22/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
56 Beispiele (3) PEx = NonZeroDigit PEx "+" PEx NonZeroDigit = "1" "2" "3" "4" "5" "6" "7" "8" "9" Eine kurze Ableitung von 1+2+3: Ersetzung von PEx und Ausführung von Ersetzung von PEx (2 ) und Ausführung von (2 ) PEx PEx "+" PEx NonZeroDigit "+" PEx "+" PEx Ersetzung von NonZeroDigit und PEx (2 ) Ausführung von (mehrfach) "1" "+" NonZeroDigit "+" NonZeroDigit Ersetzung von NonZeroDigit (2 ) und Ausführung von (mehrfach) "1" "+" "2" "+" "3" D. Sabel 02 Syntax WS 2018/19 23/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
57 Die Sprache einer Grammatik Jede Grammatik G definiert eine Menge von Wörtern, die als Sprache von G bezeichnet wird. Wir schreiben L(G) für die Sprache von G. (L steht für Language.) Die Sprache L(G) besteht genau aus den Wörtern, die vom Startsymbol der Grammatik abgeleitet werden können: L(G) = {w S... w, S Startsymbol von G, w ein Wort} D. Sabel 02 Syntax WS 2018/19 24/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
58 Beispiele Sei G die folgende Grammatik mit Startsymbol Start : Start = "a" Mitte "c" Mitte = { "b" } L(G) = D. Sabel 02 Syntax WS 2018/19 25/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
59 Beispiele Sei G die folgende Grammatik mit Startsymbol Start : Start = "a" Mitte "c" Mitte = { "b" } L(G) = Menge aller Worte, die mit a anfangen, dann beliebig viele b s folgen und schließlich mit c enden D. Sabel 02 Syntax WS 2018/19 25/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
60 Beispiele Sei G die folgende Grammatik mit Startsymbol Brackets : Brackets = Brackets Brackets "(" ")" "[" "]" "(" Brackets ")" "[" Brackets "]" L(G) = D. Sabel 02 Syntax WS 2018/19 26/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
61 Beispiele Sei G die folgende Grammatik mit Startsymbol Brackets : Brackets = Brackets Brackets "(" ")" "[" "]" "(" Brackets ")" "[" Brackets "]" L(G) = Menge aller korrekt geklammerten Klammerausdrücke aus runden und eckigen Klammern D. Sabel 02 Syntax WS 2018/19 26/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
62 EBNF-Grammatik für Bezeichner Ein Bezeichner (Identifier) ist eine nichtleere Folge von Buchstaben oder Ziffern, beginnend mit einem Buchstaben. Bezeichner sind z.b. A, A200D3, Muenchen Keine Bezeichner sind 007, O.K., 1A EBNF-Grammatik (mit Startsymbol Identifier ) Letter = "A"... "Z" "a"... "z" Identifier = Letter { Letter Digit } Digit =... (wie vorher) In Java müssen alle Variablennamen, Klassennamen usw. Bezeichner sein. Die Grammatik in Java ist jedoch etwas allgemeiner als oben D. Sabel 02 Syntax WS 2018/19 27/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
63 EBNF-Variante für Java Die Java-Sprachdefinition verwendet eine andere Variante der EBNF. Notation dort: Nichtterminalsymbole sind kursiv Terminalsymbole sind in Schreibmaschinenschrift (z.b. if statt "if" ) Regeln werden als N : E (anstelle von N = E) geschrieben Das Auswahlsymbol, d.h. wird weggelassen und durch einen Zeilenumbruch ersetzt, oder man verwendet (one of) In älteren Spezifikationen: Die Option wird durch tiefgestelltes opt gekennzeichnet: E opt statt [E]. D. Sabel 02 Syntax WS 2018/19 28/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
64 Beispiele aus der Java-Spezifikation DecimalNumeral : 0 NonZeroDigit [Digits] Digits : Digit Digits Digit Digit : 0 NonZeroDigit NonZeroDigit : (one of) D. Sabel 02 Syntax WS 2018/19 29/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
65 Syntaxdiagramme Ein Syntaxdiagramm ist ein einfacher grafischer Formalismus zur Definition von Sprachen. Er besteht aus Rechtecken, in denen Nichtterminale stehen Ovalen (oder Rechtecke mit abgerundeten Ecken) in den Terminale stehen Pfeilen, die die Elemente verbinden, Genau einem Eingangs- und einem Ausgangspfeil Je ein Nichtterminalsymbol wird durch je ein Syntaxdiagramm definiert Nichtterminal : D. Sabel 02 Syntax WS 2018/19 30/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
66 Beispiele für Syntaxdiagramme EBNF: Satz = Subjekt Prädikat Objekt Syntax-Diagramm: Satz : Subjekt Prädikat Objekt (Syntaxdiagramme für Subjekt, Prädikat, Objekt müssen noch hinzugefügt werden) D. Sabel 02 Syntax WS 2018/19 31/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
67 Beispiele für Syntaxdiagramme (2) EBNF: Syntaxdiagramm: Digit : 0 Digit = "0" "1" "2"... "9" Digits = Digit [ Digits ] Digits : Digit Digits D. Sabel 02 Syntax WS 2018/19 32/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
68 Vom Syntaxdiagramm definierte Sprache Ein Wort w liegt genau dann, in der durch ein Syntaxdiagramm definierten Sprache, wenn man das Syntaxdiagramm vom Eingangs- zum Ausgangspfeil entlang w durchlaufen kann: Alle durchlaufenen Knoten T für Terminalsymbole geben aneinander gereiht (in der Durchlaufreihenfolge) das Wort w. Durchlauf durch einen Knoten N für Nichtterminalsymbol N bedeutet Durchlauf des Syntaxdiagramms für N. Der durchlaufene Weg hat endliche Länge. D. Sabel 02 Syntax WS 2018/19 33/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
69 Beispiel Wird 1019 durch das Synaxdiagramm für Digits erkannt? Digit : Digits : Digit Digits D. Sabel 02 Syntax WS 2018/19 34/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
70 Noch ein Beispiel a b Welche Worte werden durch das Syntaxdiagramm erkannt? c abbbbb a aabbcc abccb bcbc bcabc D. Sabel 02 Syntax WS 2018/19 35/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
71 Noch ein Beispiel a b Welche Worte werden durch das Syntaxdiagramm erkannt? c abbbbb a aabbcc abccb bcbc bcabc D. Sabel 02 Syntax WS 2018/19 35/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
72 Noch ein Beispiel a b Welche Worte werden durch das Syntaxdiagramm erkannt? c abbbbb a aabbcc abccb bcbc bcabc D. Sabel 02 Syntax WS 2018/19 35/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
73 Noch ein Beispiel a b Welche Worte werden durch das Syntaxdiagramm erkannt? c abbbbb a aabbcc abccb bcbc bcabc D. Sabel 02 Syntax WS 2018/19 35/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
74 Noch ein Beispiel a b Welche Worte werden durch das Syntaxdiagramm erkannt? c abbbbb a aabbcc abccb bcbc bcabc D. Sabel 02 Syntax WS 2018/19 35/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
75 Noch ein Beispiel a b Welche Worte werden durch das Syntaxdiagramm erkannt? c abbbbb a aabbcc abccb bcbc bcabc D. Sabel 02 Syntax WS 2018/19 35/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
76 Noch ein Beispiel a b Welche Worte werden durch das Syntaxdiagramm erkannt? c abbbbb a aabbcc abccb bcbc bcabc D. Sabel 02 Syntax WS 2018/19 35/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
77 Noch ein Beispiel a b Welche Worte werden durch das Syntaxdiagramm erkannt? abbbbb a aabbcc c abccb bcbc bcabc Allgemein: Alle Worte, die mit genauem einem a anfangen und anschließend beliebige b und c folgen dürfen. D. Sabel 02 Syntax WS 2018/19 35/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
78 Noch ein Beispiel a b Welche Worte werden durch das Syntaxdiagramm erkannt? abbbbb a aabbcc c abccb bcbc bcabc Allgemein: Alle Worte, die mit genauem einem a anfangen und anschließend beliebige b und c folgen dürfen. EBNF dazu: N = "a" { "b" "c" } D. Sabel 02 Syntax WS 2018/19 35/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
79 Korrespondenz von EBNF und Syntaxdiagrammen (1) Auswahl E 1 E 2 wird durch eine Verzweigung repräsentiert: E 1 Sequentielle Komposition E 1 E 2 wird durch Aneinanderhängen repräsentiert: E 2 E 1 E 2 Option [E] wird repräsentiert durch: Wiederholung {E} wird repräsentiert durch: E E D. Sabel 02 Syntax WS 2018/19 36/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
80 Korrespondenz von EBNF und Syntaxdiagrammen (2) Umgekehrt geht es auch: Folgerung Jedes Syntaxdiagramm lässt sich als EBNF darstellen. Syntaxdiagramme und EBNF sind äquivalent in dem Sinne, dass sie die gleiche Klasse von formalen Sprachen beschreiben. Man nennt diese Klasse: Die Kontextfreien Sprachen Der Begriff kontextfrei rührt daher, dass Nichtterminale ersetzt werden, ohne benachbarte Symbole zu betrachten (den Kontext) D. Sabel 02 Syntax WS 2018/19 37/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
81 Formale Sprachen: Bemerkungen Die Informatik verwendet zur Klassifizierung von formalen Grammatiken häufig die sogenannte Chomsky-Hierarchie (benannt nach Noam Chomsky) Typ-0: rekursiv aufzählbar Typ-1: kontextsensitiv Typ-2: kontextfrei Typ-3: regulär Beispiel für eine formale Sprache die nicht kontextfrei ist: Die Sprache bestehend aus allen Wörtern der Form a n b n c n mit n 1, d.h. die Wörter abc, aabbcc, aaabbbccc, aaaabbbbcccc,... D. Sabel 02 Syntax WS 2018/19 38/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
82 Reguläre Sprachen Reguläre Grammatiken haben nur Regeln der Form E = F 1... F n wobei jedes der F i von einer der folgenden Formen ist: w mit w ist ein Wort (d.h. Folge von Terminalsymbolen), we mit w ein Wort und E ein Nichtterminalsymbol, oder ε (das leere Wort) Die durch reguläre Grammatiken erzeugten Sprachen heißen reguläre Sprachen D. Sabel 02 Syntax WS 2018/19 39/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
83 Reguläre Grammatiken: Beispiele Grammatik G 1 mit Startsymbol A : A = "a" "a" "a" "a" A Die Grammatik G 1 ist regulär und L(G 1 ) ist die Menge aller Worte mit gerader Anzahl an a s (mindestens 2). Grammatik mit G 2 mit Startsymbol B : B = "a" "a" "a" B "a" Die Grammatik ist nicht regulär, aber L(G 2 ) = L(G 1 ). Beachte: Die Sprache bestehend aus allen Worten mit einer geraden Anzahl an a s ist eine reguläre Sprache, da sie durch eine reguläre Grammatik erzeugt wird. D. Sabel 02 Syntax WS 2018/19 40/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
84 Reguläre Sprachen (3) Reguläre Sprachen sind eine echte Teilmenge der kontextfreien Sprachen (d.h. der durch EBNFs erzeugten Sprachen). Beispiel: Die Sprache aller Worte der Form a n b n mit n 1 ist nicht regulär, aber die EBNF AnBn = "a" "b" "a" AnBn "b" erzeugt diese (d.h. die Sprache ist kontextfrei). D. Sabel 02 Syntax WS 2018/19 41/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
85 Beispiel: Palindrome Ein Palindrom ist ein Wort das von links oder von rechts gelesen dasselbe Wort ergibt (griechisch paĺındromos: rückwärts laufend ) Palindrome sind z.b. Keine Palindrome: legeaneinebrandnarbenienaegel ANNA ANANA A ANANAS ANNAN ANAA D. Sabel 02 Syntax WS 2018/19 42/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
86 Syntaxdiagramm für Palindrome Syntaxdiagramm für Palindrome, die mit den Buchstaben A und N gebildet werden können: Palindrom : A N A Palindrom A N Palindrom N D. Sabel 02 Syntax WS 2018/19 43/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
87 EBNF für Palindrome EBNF-Grammatik für Palindrome, die mit den Buchstaben A und N gebildet werden können: Palindrom = "A" "N" "A" [ Palindrom ] "A" "N" [ Palindrom ] "N" D. Sabel 02 Syntax WS 2018/19 44/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
88 Zusammenfassung Formalismen zur Beschreibung der Syntax von Programmiersprachen Backus-Naur-Form (BNF) Erweiterte Backus-Naur-Form (EBNF) Jede (E)BNF-Grammatik besteht aus einem Startsymbol und einer Menge von Regeln (eine Regel pro Nichtterminalsymbol) Jede (E)BNF-Grammatik G erzeugt eine Sprache L(G) (Menge von Wörtern) D. Sabel 02 Syntax WS 2018/19 45/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
89 Zusammenfassung (2) Syntaxdiagramme sind ein zu (E)BNF-äquivalenter grafischer Formalismus, wobei Nichtterminalsymbole in Rechttecken Terminalsymbole in Ovalen Pfeile führen von einem Sprachelement zum anderen jedes Syntaxdiagramm besitzt genau einen Eingangs- und Ausgangspfeil. All diese Formalismen repräsentieren die sogenannten kontextfreien Sprachen (vgl. Chomsky-Hierarchie) D. Sabel 02 Syntax WS 2018/19 46/46 Ideen (E)BNF Syntaxdiagramme Reguläre S. Palindrome
Übersicht: Inhalt und Ziele. Kapitel 2: Methoden zur Beschreibung von Syntax. Aufbau von Programmen. Syntax von Programmiersprachen
Einführung in die Informatik: Programmierung und Softwareentwicklung Wintersemester 2018/19 Übersicht: Inhalt und Ziele Zwei Methoden zur Beschreibung (Definition) der Syntax von Programmiersprachen Backus-Naur-Form
Kapitel 2. Methoden zur Beschreibung von Syntax
1 Kapitel 2 Methoden zur Beschreibung von Syntax Grammatik, die sogar Könige zu kontrollieren weiß... aus Molière, Les Femmes Savantes (1672), 2. Akt 2 Ziele Zwei Standards zur Definition der Syntax von
Syntax von Programmiersprachen
"Grammatik, die sogar Könige zu kontrollieren weiß... aus Molière, Les Femmes Savantes (1672), 2. Akt Syntax von Programmiersprachen Prof. Dr. Christian Böhm in Zusammenarbeit mit Gefei Zhang WS 07/08
Syntax von Programmiersprachen
"Grammatik, die sogar Könige zu kontrollieren weiß... aus Molière, Les Femmes Savantes (1672), 2. Akt Syntax von Programmiersprachen Prof. Dr. Martin Wirsing in Zusammenarbeit mit Michael Barth, Philipp
Kapitel 2. Methoden zur Beschreibung von Syntax
1 Kapitel 2 Methoden zur Beschreibung von Syntax Grammatik, die sogar Könige zu kontrollieren weiß... aus Molière, Les Femmes Savantes (1672), 2. Akt 2 Ziele Zwei Standards zur Definition der Syntax von
Syntax von Programmiersprachen
"Grammatik, die sogar Könige zu kontrollieren weiß aus Molière, Les Femmes Savantes (1672), 2. kt Syntax von Programmiersprachen Prof. Dr. Martin Wirsing Ziele Zwei Standards zur Definition der Syntax
Einführung in die Programmierung für NF. Rückgabewerte, EBNF, Fallunterscheidung, Schleifen
Einführung in die Programmierung für NF Rückgabewerte, EBNF, Fallunterscheidung, Schleifen FUNKTIONEN UND PROZEDUREN 3 Rückgabewerte, EBNF, Fallunterscheidung, Schleifen 2 Funk@on und Prozedur Methoden
Alphabet, formale Sprache
n Alphabet Alphabet, formale Sprache l nichtleere endliche Menge von Zeichen ( Buchstaben, Symbole) n Wort über einem Alphabet l endliche Folge von Buchstaben, die auch leer sein kann ( ε leere Wort) l
Kapitel IV Formale Sprachen und Grammatiken
Kapitel IV Formale Sprachen und Grammatiken 1. Begriffe und Notationen Sei Σ ein (endliches) Alphabet. Dann Definition 42 1 ist Σ das Monoid über Σ, d.h. die Menge aller endlichen Wörter über Σ; 2 ist
1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen - 1 -
1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen I.2. I.2. Grundlagen von von Programmiersprachen. - 1 - 1. Der Begriff Informatik "Informatik" = Kunstwort aus Information und Mathematik
1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen - 1 -
1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen I.2. I.2. Grundlagen von von Programmiersprachen. - 1 - 1. Der Begriff Informatik "Informatik" = Kunstwort aus Information und Mathematik
Sprachen sind durch folgenden Aufbau gekennzeichnet:
BNF UND SYNTAXDIAGRAMME 1. Allgemeines 1.1 Aufbau von Sprachen BNF und Syntaxdiagramme werden verwendet, um die Syntax einer Sprache darzustellen und graphisch zu veranschaulichen. Mit ihnen können entweder
7. Syntax: Grammatiken, EBNF
7. Syntax: Grammatiken, EBNF Teil 1 Sehr schönes Beispiel für Notwendigkeit der Theoretischen Informatik für Belange der Praktischen Informatik Vertiefung in: Einführung in die Theoretische Informatik
2.2 Syntax, Semantik und Simulation
2.2 Syntax, Semantik und Simulation Ein Java Programm ist eine Folge von Buchstaben. Nicht jede Folge von Buchstaben ist ein korrektes Java Programm! Wie kann man alle korrekten Java Programme beschreiben?
Grammatiken. Eine Grammatik G mit Alphabet Σ besteht aus: Variablen V. Startsymbol S V. Kurzschreibweise G = (V, Σ, P, S)
Grammatiken Eine Grammatik G mit Alphabet Σ besteht aus: Variablen V Startsymbol S V Produktionen P ( (V Σ) \ Σ ) (V Σ) Kurzschreibweise G = (V, Σ, P, S) Schreibweise für Produktion (α, β) P: α β 67 /
Kapitel 5: Syntaxdiagramme und Grammatikregeln
5. Syntaxdiagramme und Grammatikregeln 5-1 Objektorientierte Programmierung (Winter 2010/2011) Kapitel 5: Syntaxdiagramme und Grammatikregeln Syntaxdiagramme Grammatikregeln (kontextfrei) Beispiele: Lexikalische
Einführung in die Informatik. Programming Languages
Einführung in die Informatik Programming Languages Beschreibung von Programmiersprachen Wolfram Burgard Motivation und Einleitung Wir haben in den vorangehenden Kapiteln meistens vollständige Java- Programme
Einführung in die Informatik: Programmierung und Software-Entwicklung, WS 18/19. Syntax. Dr. Philipp Wendler
1 Dr. Zentralübung zur Vorlesung Einführung in die Informatik: Programmierung und Softwareentwicklung WS18/19 https://www.sosy-lab.org/teaching/2018-ws-infoeinf/ 2 Organisatorisches Abgabe für 1. Übungsblatt
Objektorientierte Programmierung. Kapitel 3: Syntaxdiagramme
Stefan Brass: OOP (Java), 3. 1/31 Objektorientierte Programmierung Kapitel 3: Stefan Brass Martin-Luther-Universität Halle-Wittenberg Wintersemester 2014/15 http://www.informatik.uni-halle.de/ brass/oop14/
3 Syntax von Programmiersprachen
3 Syntax von Programmiersprachen Syntax ( Lehre vom Satzbau ) formale Beschreibung des Aufbaus der Worte und Sätze, die zu einer Sprache gehören; im Falle einer Programmiersprache Festlegung, wie Programme
Inhalt Kapitel 11: Formale Syntax und Semantik
Inhalt Kapitel 11: Formale Syntax und Semantik 1 Abstrakte und konkrete Syntax 2 Lexikalische Analyse 3 Formale Sprachen, Grammatiken, BNF 4 Syntaxanalyse konkret 266 Abstrakte und konkrete Syntax Abstrakte
3 Syntax von Programmiersprachen
3 Syntax von Programmiersprachen Syntax ( Lehre vom Satzbau ) formale Beschreibung des Aufbaus der Worte und Sätze, die zu einer Sprache gehören; im Falle einer Programmiersprache Festlegung, wie Programme
3.1 Reservierte Wörter
3.1 Reservierte Wörter int Bezeichner für Basis-Typen; if, else, while Schlüsselwörter aus Programm-Konstrukten; (,), ",, {,},,,; Sonderzeichen. 62 3.2 Was ist ein erlaubter Name? Schritt 1: Angabe der
Kapitel 4: Syntaxdiagramme und Grammatikregeln
4. Syntaxdiagramme und Grammatikregeln 4-1 Objektorientierte Programmierung (Winter 2006/2007) Kapitel 4: Syntaxdiagramme und Grammatikregeln Syntaxdiagramme Grammatikregeln (kontextfrei) Beispiele: Lexikalische
Einführung in die Informatik. Programming Languages
Einführung in die Informatik Programming Languages Beschreibung von Programmiersprachen Wolfram Burgard Cyrill Stachniss 1/15 Motivation und Einleitung Wir haben in den vorangehenden Kapiteln meistens
Grammatiken. Grammatiken sind regelbasierte Kalküle zur Konstruktion von Systemen und Sprachen Überprüfung von Systemen und Sprachen
Grammatiken Grammatiken sind regelbasierte Kalküle zur Konstruktion von Systemen und Sprachen Überprüfung von Systemen und Sprachen Grammatiken eignen sich besonders zur Modellierung beliebig tief geschachtelter,
Syntax. Annabelle Klarl. Einführung in die Informatik Programmierung und Softwareentwicklung
Annabelle Klarl Zentralübung zur Vorlesung Einführung in die Informatik: http://www.pst.ifi.lmu.de/lehre/wise-16-17/infoeinf WS16/17 Organisatorisches Wir werden socrative nutzen, um während der Zentralübung
Algorithmen und Datenstrukturen I - Exkurs Formale Sprachen -
Algorithmen und Datenstrukturen I - Exkurs Formale Sprachen - Thies Pfeiffer Technische Fakultät tpfeiffe@techfak.uni-bielefeld.de Vorlesung, Universität Bielefeld, Winter 2012/2013 1 / 1 Exkurs: Formale
Formale Sprachen. Inhaltsverzeichnis. M. Jakob. 10. Dezember Allgemeine Einführung. Aufbau formaler Sprachen
M. Jakob Gymnasium Pegnitz 10. Dezember 2014 Inhaltsverzeichnis Allgemeine Einführung Aufbau formaler Sprachen Notationsformen formaler Sprachen Backus-Naur-Formen Erkennen formaler Sprachen Implementierung
Einführung in die Informatik: Programmierung und Software-Entwicklung, WS 17/18. Syntax. Philipp Wendler
1 Philipp Wendler Zentralübung zur Vorlesung Einführung in die Informatik: Programmierung und Softwareentwicklung https://www.sosy-lab.org/teaching/2017-ws-infoeinf/ WS17/18 2 Organisatorisches Abgabe
Syntax. Gilbert Beyer und Annabelle Klarl. Einführung in die Informatik. Zentralübung zur Vorlesung Einführung in die Informatik
Zentralübung zur Vorlesung Einführung in die Informatik http://www.pst.ifi.lmu.de/lehre/wise-11-12/infoeinf WS11/12 Organisatorisches CIP-Kennungen: Hat jeder eine CIP-Kennung? Weiterleitung der Emails
Einführung in die Programmierung I. 1.0 EBNF 2.0 Einfache Java Programme. Thomas R. Gross. Department Informatik ETH Zürich
252-0027 Einführung in die Programmierung I 1.0 EBNF 2.0 Einfache Java Programme Thomas R. Gross Department Informatik ETH Zürich Graphische Darstellung von EBNF Regeln Syntax Graph: graphische Darstellung
Einführung in die Programmierung für NF. Übung
Einführung in die Programmierung für NF Übung 03 06.11.2013 Inhalt Methoden in Java Gültigkeitsbereiche EBNF Einführung in die Programmierung für NF Übung 03 2 Methoden in Java In Methoden werden Ausdrücke
Sprachanalyse. Fachseminar WS 08/09 Dozent: Prof. Dr. Helmut Weber Referentin: Nadia Douiri
Sprachanalyse WS 08/09 Dozent: Prof. Dr. Helmut Weber Referentin: Inhalt 1. Formale Sprachen 2. Chomsky-Hierarchie 2 FORMALE SPRACHE 1. WAS IST EINE SPRACHE? 2. WIE BESCHREIBT MAN EINE SPRACHE? 3. WAS
Algorithmen und Datenstrukturen I - Exkurs Formale Sprachen -
Algorithmen und Datenstrukturen I - - Thies Pfeiffer Technische Fakultät tpfeiffe@techfak.uni-bielefeld.de Vorlesung, Universität Bielefeld, Winter 2012/2013 1 / 22 Exkurs: Formale Sprachen Im Kapitel
7. Formale Sprachen und Grammatiken
7. Formale Sprachen und Grammatiken Computer verwenden zur Verarbeitung von Daten und Informationen künstliche, formale Sprachen (Maschinenspr., Assemblerspachen, Programmierspr., Datenbankspr., Wissensrepräsentationsspr.,...)
1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen. I.2. I.2. Grundlagen von von Programmiersprachen.
1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen I.2. I.2. Grundlagen von von Programmiersprachen. - 1 - 1. Der Begriff Informatik "Informatik" = Kunstwort aus Information und Mathematik
Abschnitt 4: Daten und Algorithmen
Abschnitt 4: Daten und Algorithmen 4. Daten und Algorithmen 4.1 4.2 Syntaxdefinitionen 4.3 Eigenschaften von Algorithmen 4.4 Paradigmen der Algorithmenentwicklung Peer Kröger (LMU München) Einführung in
Daten und Algorithmen
LUDWIG- MAXIMILIANS- UNIVERSITY MUNICH DEPARTMENT INSTITUTE FOR INFORMATICS DATABASE Kapitel 3 Daten und Algorithmen Skript zur Vorlesung Einführung in die Programmierung g im Wintersemester 2012/13 Ludwig-Maximilians-Universität
Grundbegriffe. Grammatiken
Grammatiken Grammatiken in der Informatik sind ähnlich wie Grammatiken für natürliche Sprachen ein Mittel, um alle syntaktisch korrekten Sätze (hier: Wörter) einer Sprache zu erzeugen. Beispiel: Eine vereinfachte
Von der Chomsky-Hierarchie
Von der Chomsky-Hierarchie zur Backus-Naur-Form Ein Beitrag der Theoretischen Informatik zum Siegeszug des Computers Referat von Helmut Schnitzspan Im Rahmen des Seminars Von der EDV zu Facebook Alexander
Objektorientierte Programmierung. Kapitel 3: Syntaxdiagramme und Grammatikregeln
Stefan Brass: OOP (Java), 3. Syntaxdiagramme und Grammatikregeln 1/32 Objektorientierte Programmierung Kapitel 3: Syntaxdiagramme und Grammatikregeln Stefan Brass Martin-Luther-Universität Halle-Wittenberg
2.1 Grundlagen: Kontextfreie Grammatiken
2.1 Grundlagen: Kontextfreie Grammatiken Programme einer Programmiersprache können unbeschränkt viele Tokens enthalten, aber nur endlich viele Token-Klassen :-) Als endliches Terminal-Alphabet T wählen
Definition 4 (Operationen auf Sprachen) Beispiel 5. Seien A, B Σ zwei (formale) Sprachen. Konkatenation: AB = {uv ; u A, v B} A + = n 1 An
Definition 4 (Operationen auf Sprachen) Seien A, B Σ zwei (formale) Sprachen. Konkatenation: AB = {uv ; u A, v B} A 0 = {ɛ}, A n+1 = AA n A = n 0 An A + = n 1 An Beispiel 5 {ab, b}{a, bb} = {aba, abbb,
Mehrdeutige 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
3.4 Struktur von Programmen
3.4 Struktur von Programmen Programme sind hierarchisch aus Komponenten aufgebaut. Für jede Komponente geben wir Regeln an, wie sie aus anderen Komponenten zusammengesetzt sein können. program ::= decl*
Kontextfreie Grammatiken. Kontextfreie Grammatiken 1 / 45
Kontextfreie Grammatiken Kontextfreie Grammatiken 1 / 45 Was kann man mit kontextfreien Grammatiken anfangen? Kontextfreie Grammatiken, kurz: werden zur Modellierung von KFGs beliebig tief geschachtelten
Java für Anfänger Teil 2: Java-Syntax. Programmierkurs Manfred Jackel
Java für Anfänger Teil 2: Java-Syntax Programmierkurs 11.-15.10.2010 Manfred Jackel 1 Syntax für die Sprache Java public class Welcome { } Schlüsselworte Reservierte Worte Keywords Wortsymbol Syntax: griech.
Kontextfreie 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
Java für Anfänger Teil 2: Java-Syntax. Programmierkurs Manfred Jackel
Java für Anfänger Teil 2: Java-Syntax Programmierkurs 06.-10.10.2008 Manfred Jackel 1 Syntax für die Sprache Java public class Welcome { } Schlüsselworte Reservierte Worte Keywords Wortsymbol Syntax: griech.
Lemma Für jede monotone Grammatik G gibt es eine kontextsensitive
Lemma Für jede monotone Grammatik G gibt es eine kontextsensitive Grammatik G mit L(G) = L(G ). Beweis im Beispiel (2.): G = (V,Σ, P, S) : P = {S asbc, S abc, CB BC, ab ab, bb bb, bc bc, cc cc}. (i) G
Nachklausur zur Vorlesung Informatik 3 mit einigen Anmerkungen zu Lösungen
Nachklausur zur Vorlesung Informatik 3 mit einigen Anmerkungen zu Lösungen Aufgabe 1 2 3 4 5 6 7 max. Punkte 6 6 7 7 8 8 12 err. Punkte Gesamtpunktzahl: Note: 1 Aufgabe 1 (3+1+1+1 = 6 Punkte) Es seien
2.1 Allgemeines. Was ist eine Sprache? Beispiele:
Was ist eine Sprache? Beispiele: (a) Deutsch, Japanisch, Latein, Esperanto,...: Natürliche Sprachen (b) Pascal, C, Java, Aussagenlogik,...: Formale Sprachen Wie beschreibt man eine Sprache? (i) Syntax
WS06/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.
Was 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
Kontextfreie Grammatiken. Kontextfreie Grammatiken 1 / 48
Kontextfreie Grammatiken Kontextfreie Grammatiken 1 / 48 Was kann man mit kontextfreien Grammatiken anfangen? Kontextfreie Grammatiken, kurz: werden zur Modellierung von KFGs rekursiv definierten baumartigen
Programmierkurs Java
Programmierkurs Java Dr. Dietrich Boles Aufgaben zu UE3-Syntaxdiagramme (Stand 05.11.2010) Aufgabe 1: Entwickeln Sie Regeln zur Übersetzung von EBNF in Syntaxdiagramme. Aufgabe 2: Eine Zahl ist entweder
Mehrdeutige 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
Ein Fragment von Pascal
Ein Fragment von Pascal Wir beschreiben einen (allerdings sehr kleinen) Ausschnitt von Pascal durch eine kontextfreie Grammatik. Wir benutzen das Alphabet Σ = {a,..., z, ;, :=, begin, end, while, do} und
Einführung in die Programmiertechnik
Einführung in die Programmiertechnik Formale Beschreibung von Programmiersprachen Lexikalische Regeln Definition von Wörtern (Lexem, Token) Gruppierung von Zeichen Lexikalische Kategorien: Klassen ähnlicher
1 Formale Sprachen, reguläre und kontextfreie Grammatiken
Praktische Informatik 1, WS 2001/02, reguläre Ausdrücke und kontextfreie Grammatiken 1 1 Formale Sprachen, reguläre und kontextfreie Grammatiken Ein Alphabet A ist eine endliche Menge von Zeichen. Die
Vorlesung Automaten und Formale Sprachen Sommersemester Beispielsprachen. Sprachen
Vorlesung Automaten und Formale Sprachen Sommersemester 2018 Prof. Barbara König Übungsleitung: Christina Mika-Michalski Wörter Wort Sei Σ ein Alphabet, d.h., eine endliche Menge von Zeichen. Dann bezeichnet
Kapitel: 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
Zuerst wird die Bedingung ausgewertet. Ist sie erfüllt, wird der Rumpf des while-statements ausgeführt. Nach Ausführung des Rumpfs wird das gesamte
Zuerst wird die Bedingung ausgewertet. Ist sie erfüllt, wird der Rumpf des while-statements ausgeführt. Nach Ausführung des Rumpfs wird das gesamte while-statement erneut ausgeführt. Ist die Bedingung
Syntax von Programmiersprachen
Information: ist Rohstoff der Informatik, hat eigenständige Dimension (vgl. Länge, Zeit, elektrische Ladung ist jedoch nicht im SI-System enthalten) läßt sich nicht messen, sie wird berechnet wird durch
Das 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.
6 Modellierung von Strukturen 6.1 Kontextfreie Grammatiken
6 Modellierung von Strukturen 6.1 Kontextfreie Grammatiken Mod-6.1 Kontextfreie Grammatik (KFG): formaler Kalkül, Ersetzungssystem; definiert Sprache als Menge von Sätzen; jeder Satz ist eine Folge von
Programmiersprachen und Übersetzer
Programmiersprachen und Übersetzer Sommersemester 2010 19. April 2010 Theoretische Grundlagen Problem Wie kann man eine unendliche Menge von (syntaktisch) korrekten Programmen definieren? Lösung Wie auch
Software Entwicklung 1. Fallstudie: Arithmetische Ausdrücke. Rekursive Klassen. Überblick. Annette Bieniusa / Arnd Poetzsch-Heffter
Software Entwicklung 1 Annette Bieniusa / Arnd Poetzsch-Heffter Fallstudie: Arithmetische Ausdrücke AG Softech FB Informatik TU Kaiserslautern Bieniusa/Poetzsch-Heffter Software Entwicklung 1 2/ 33 Überblick
Einführung in die Programmierung EBNF. Thomas R. Gross. Department Informatik ETH Zürich
252-0027 Einführung in die Programmierung EBNF Thomas R. Gross Department Informatik ETH Zürich Übersicht Es gibt vier elementare Ausdrucksmöglichkeiten in EBNF Sie lernen EBNF Beschreibungen zu lesen
Einführung in die Theoretische Informatik
Einführung in die Theoretische Informatik Woche 7 Harald Zankl Institut für Informatik @ UIBK Wintersemester 2014/2015 Zusammenfassung Zusammenfassung der letzten LV 1 Wir betrachten die folgende Signatur
Algorithmen und Datenstrukturen
Algorithmen und Datenstrukturen Tafelübung 06 Grammatiken, Backus-Naur-Form, Rekursion Clemens Lang T2 1. Juni 2010 14:00 16:00, 00.152 Tafelübung zu AuD 1/20 Aufbau und Begriffe Grammatiken Struktur einer
Form und Darstellung von Informationen
Form und Darstellung von Informationen 1. Computermetaphern 2. Beschreibungssprachen für Texte 3. Grammatiken zur Beschreibung syntaktischer Strukturen 4. Beispiel einer Textbeschreibungssprache: HTML
Einführung in die Programmierung mit Java
Einführung in die Programmierung mit Java Teil 5: Syntax Martin Hofmann Steffen Jost LFE Theoretische Informatik, Institut für Informatik, Ludwig-Maximilians Universität, München 10. November 2015 Martin
Theoretische Informatik I
Theoretische nformatik inheit 3 Kontextfreie Sprachen 1. Kontextfreie Grammatiken 2. Pushdown Automaten 3. igenschaften kontextfreier Sprachen Verarbeitung von Programmiersprachen Was ist das einfachste
Zusammenfassung. Beispiel. 1 Wir betrachten die folgende Signatur F = {,, +, 0, 1} sodass. 3 Wir betrachten die Identitäten E. 4 Dann gilt E 1 + x = 1
Zusammenfassung Zusammenfassung der letzten LVA Einführung in die Theoretische Informatik Christina Kohl Alexander Maringele eorg Moser Michael Schaper Institut für Informatik @ UIBK Wintersemester 2016
Formale Sprachen, reguläre und kontextfreie Grammatiken
Formale Sprachen, reguläre und kontextfreie Grammatiken Alphabet A: endliche Menge von Zeichen Wort über A: endliche Folge von Zeichen aus A A : volle Sprache über A: Menge der A-Worte formale Sprache
Theorie der Informatik. Theorie der Informatik. 6.1 Einführung. 6.2 Alphabete und formale Sprachen. 6.3 Grammatiken. 6.4 Chomsky-Hierarchie
Theorie der Informatik 17. März 2014 6. Formale Sprachen und Grammatiken Theorie der Informatik 6. Formale Sprachen und Grammatiken Malte Helmert Gabriele Röger Universität Basel 17. März 2014 6.1 Einführung
Software Entwicklung 1
Software Entwicklung 1 Annette Bieniusa / Arnd Poetzsch-Heffter AG Softech FB Informatik TU Kaiserslautern Fallstudie: Arithmetische Ausdrücke Bieniusa/Poetzsch-Heffter Software Entwicklung 1 2/ 33 Überblick
Grundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik Sommersemester 2017 20.04.2017 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Bis jetzt Organisatorisches Literatur Motivation und Inhalt Kurzer
6 Kontextfreie Grammatiken
6 Kontextfreie Grammatiken Reguläre Grammatiken und damit auch reguläre Ausdrücke bzw. endliche Automaten haben bezüglich ihres Sprachumfangs Grenzen. Diese Grenzen resultieren aus den inschränkungen,
Inhalt Kapitel 5: Syntax
Inhalt Kapitel 5: Syntax 1 Syntax und Semantik 2 Formale Sprachen 3 Backus-Naur Form 4 Chomsky Grammatik 5 Reguläre Ausdrücke 6 Endliche Automaten 180 Syntax und Semantik Syntax Syntax: Festlegung des
Theoretische Informatik I
Theoretische Informatik I Einheit 2.5 Grammatiken 1. Arbeitsweise 2. Klassifizierung 3. Beziehung zu Automaten Beschreibung des Aufbaus von Sprachen Mathematische Mengennotation Beschreibung durch Eigenschaften
Kapitel 2: Formale Sprachen Gliederung. 0. Grundbegriffe 1. Endliche Automaten 2. Formale Sprachen 3. Berechnungstheorie 4. Komplexitätstheorie
Gliederung 0. Grundbegriffe 1. Endliche Automaten 2. Formale Sprachen 3. Berechnungstheorie 4. Komplexitätstheorie 2.1. 2.2. Reguläre Sprachen 2.3. Kontextfreie Sprachen 2/1, Folie 1 2015 Prof. Steffen
1 Syntax von Programmiersprachen
1 Syntax von Programmiersprachen Syntax ( Lehre vom Satzbau ): formale Beschreibung des Aufbaus der Worte und Sätze, die zu einer Sprache gehören; im Falle einer Programmier-Sprache Festlegung, wie Programme
Programmierung WS12/13 Lösung - Übung 1 M. Brockschmidt, F. Emmes, C. Otto, T. Ströder
Prof. aa Dr. J. Giesl Programmierung WS12/13 M. Brockschmidt, F. Emmes, C. Otto, T. Ströder Tutoraufgabe 1 (Syntax und Semantik): 1. Was ist Syntax? Was ist Semantik? Erläutern Sie den Unterschied. 2.
Fragenkatalog 2. Abgabegespräch Formale Modellierung 3 Reguläre Sprachen
Fragenkatalog 2. Abgabegespräch Formale Modellierung 3 Reguläre Sprachen 1. Was ist eine formale Sprache? Menge von Zeichenketten, die aus den Symbolen eines beliebigen Alphabets aufgebaut sind. Zeichenkette:
Adventure-Problem. Vorlesung Automaten und Formale Sprachen Sommersemester Adventure-Problem
-Problem Vorlesung Automaten und Formale Sprachen Sommersemester 2018 Prof. Barbara König Übungsleitung: Christina Mika-Michalski Zum Aufwärmen: wir betrachten das sogenannte -Problem, bei dem ein Abenteurer/eine