Selektion (bedingte Auswahl):

Transkript

1 Selektion (bedingte Auswahl): ÒØ Ü Ý Ö ÙÐØ Ü Ö µ Ý Ö µ Ü Ýµ Ö ÙÐØ Ü ¹ Ý Ð Ö ÙÐØ Ý ¹ Ü ÛÖ Ø Ö ÙÐص Zuerst wird die Bedingung ausgewertet. Ist sie erfüllt, wird die nächste Operation ausgeführt. Ist sie nicht erfüllt, wird die Operation nach dem Ð ausgeführt. 40

2 Beachte: Statt aus einzelnen Operationen können die Alternativen auch aus Statements bestehen: ÒØ Ü Ü Ö µ Ü ¼µ ÛÖ Ø ¼µ Ð Ü ¼µ ÛÖ Ø ¹½µ Ð ÛÖ Ø ½µ 41

3 ... oder aus (geklammerten) Folgen von Operationen und Statements: ÒØ Ü Ý Ü Ö µ Ü ¼µ ß Ý Ö µ Ü Ýµ ÛÖ Ø Üµ Ð ÛÖ Ø Ýµ Ð Ð ÛÖ Ø ¼µ 42

4 ... eventuell fehlt auch der Ð -Teil: ÒØ Ü Ý Ü Ö µ Ü ¼µ ß Ý Ö µ Ü Ýµ ÛÖ Ø Üµ Ð ÛÖ Ø Ýµ Ð Auch mit Sequenz und Selektion kann noch nicht viel berechnet werden... :-( 43

5 Iteration (wiederholte Ausführung): ÒØ Ü Ý Ü Ö µ Ý Ö µ Û Ð Ü Ýµ Ü Ýµ Ý Ý ¹ Ü Ð Ü Ü ¹ Ý ÛÖ Ø Üµ 44

6 Zuerst wird die Bedingung ausgewertet. Ist sie erfüllt, wird der Rumpf des Û Ð -Statements ausgeführt. Nach Ausführung des Rumpfs wird das gesamte Û Ð -Statement erneut ausgeführt. Ist die Bedingung nicht erfüllt, fährt die Programm-Ausführung hinter dem Û Ð -Statement fort. 45

7 Jede (partielle) Funktion auf ganzen Zahlen, die überhaupt berechenbar ist, läßt sich mit Selektion, Sequenz, Iteration, d.h. mithilfe eines MiniJava-Programms berechnen :-) Beweis: Berechenbarkeitstheorie. Idee: Eine Turing-Maschine kann alles berechnen... Versuche, eine Turing-Maschine zu simulieren! 46

8 MiniJava-Programme sind ausführbares Java. Man muss sie nur geeignet dekorieren :-) 47

9 MiniJava-Programme sind ausführbares Java. Man muss sie nur geeignet dekorieren :-) Beispiel: Das GGT-Programm ÒØ Ü Ý Ü Ö µ Ý Ö µ Û Ð Ü Ýµ Ü Ýµ Ý Ý ¹ Ü Ð Ü Ü ¹ Ý ÛÖ Ø Üµ Daraus wird das Java-Programm: 48

10 ÔÙ Ð Ð Ì ÜØ Ò Å Ò Â Ú { ÔÙ Ð Ø Ø ÚÓ Ñ Ò ËØÖ Ò Ö µ { ÒØ Ü Ý Ü Ö µ Ý Ö µ Û Ð Ü Ýµ Ü Ýµ Ý Ý ¹ Ü Ð Ü Ü ¹ Ý ÛÖ Ø Üµ } // Ò Ö Ò Ø ÓÒ ÚÓÒ Ñ Ò µ } // Ò Ö Ò Ø ÓÒ Ö ÃÐ Ì 49

11 Erläuterungen: Jedes Programm hat einen Namen (hier: GGT). Der Name steht hinter dem Schlüsselwort Ð (was eine Klasse, was ÔÙ Ð ist, lernen wir später... :-) Der Datei-Name muss zum Namen des Programms passen, d.h. in diesem Fall ̺ Ú heißen. Das MiniJava-Programm ist der Rumpf des Hauptprogramms, d.h. der Funktion Ñ Ò µ. Die Programm-Ausführung eines Java-Programms startet stets mit einem Aufruf von dieser Funktion Ñ Ò µ. Die Operationen ÛÖ Ø µ und Ö µ werden in der Klasse Å Ò Â Ú definiert. Durch Ì ÜØ Ò Å Ò Â Ú machen wir diese Operationen innerhalb des GGT-Programms verfügbar. 50

12 Die Klasse Å Ò Â Ú ist in der Datei Å Ò Â Ú º Ú definiert: ÑÔÓÖØ Ú Üº Û Ò ºÂÇÔØ ÓÒÈ Ò ÑÔÓÖØ Ú Üº Û Ò ºÂ Ö Ñ ÔÙ Ð Ð Å Ò Â Ú ß ÔÙ Ð Ø Ø ÒØ Ö µ ß Â Ö Ñ Ò Û Â Ö Ñ µ ËØÖ Ò ÂÇÔØ ÓÒÈ Ò º ÓÛÁÒÔÙØ ÐÓ Ò µ ÒØ Ü ¼ º ÔÓ µ ÒÙÐе ËÝ Ø Ñº Ü Ø ¼µ ØÖÝ ß Ü ÁÒØ ÖºÔ Ö ÁÒØ ºØÖ Ñ µµ Ð Ø ÆÙÑ Ö ÓÖÑ Ø Ü ÔØ ÓÒ µ ß Ü Ö µ Ð Ö ØÙÖÒ Ü Ð ÔÙ Ð Ø Ø ÚÓ ÛÖ Ø ËØÖ Ò Üµ ß Â Ö Ñ Ò Û Â Ö Ñ µ ÂÇÔØ ÓÒÈ Ò º ÓÛÅ ÐÓ Ü Ù ÂÇÔØ ÓÒÈ Ò ºÈÄ ÁÆ Å ËË µ º ÔÓ µ Ð ÔÙ Ð Ø Ø ÚÓ ÛÖ Ø ÒØ Üµ ß ÛÖ Ø Üµ Ð Ð 51

13 ... weitere Erläuterungen: Die Klasse Å Ò Â Ú werden wir im Lauf der Vorlesung im Detail verstehen lernen :-) Jedes Programm sollte Kommentare enthalten, damit man sich selbst später noch darin zurecht findet! Ein Kommentar in Java hat etwa die Form:»» Ø Ò ÃÓÑÑ ÒØ Ö Wenn er sich über mehrere Zeilen erstrecken soll, kann er auch so aussehen:» Ö ÃÓÑÑ ÒØ Ö Ø Ù Ö Ñ Ö Ö Ð Ò» 52

14 Das Programm Ì kann nun übersetzt und dann ausgeführt werden: Ð Ú Ìº Ú Ð Ú Ì Der Compiler javac liest das Programm aus den Dateien ̺ Ú und Å Ò Â Ú º Ú ein und erzeugt für sie JVM-Code, den er in den Dateien ̺Рund Å Ò Â Ú ºÐ ablegt. Das Laufzeitsystem java liest die Dateien ̺Рund Å Ò Â Ú ºÐ ein und führt sie aus. 53

15 Achtung: MiniJava ist sehr primitiv. Die Programmiersprache Java bietet noch eine Fülle von Hilfsmitteln an, die das Programmieren erleichtern sollen. Insbesondere gibt es viele weitere Datenstrukturen (nicht nur ÒØ) und viele weitere Kontrollstrukturen.... kommt später in der Vorlesung :-) 54

16 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 Programmier-Sprache Festlegung, wie Programme aussehen müssen. 55

17 Hilfsmittel bei natürlicher Sprache: Wörterbücher; Rechtschreibregeln, Trennungsregeln, Grammatikregeln; Ausnahme-Listen; Sprach- Gefühl. 56

18 Hilfsmittel bei Programmiersprachen: Listen von Schlüsselworten wie, ÒØ, Ð, Û Ð... Regeln, wie einzelne Worte (Tokens) z.b. Namen gebildet werden. Frage: Ist ܽ¼ ein zulässiger Name für eine Variable? oder oder oder ¼... Grammatikregeln, die angeben, wie größere Komponenten aus kleineren aufgebaut werden. Frage: Ist ein Û Ð -Statement im Ð -Teil erlaubt? 57

19 Kontextbedingungen. Beispiel: Eine Variable muss erst deklariert sein, bevor sie verwendet wird. == == formalisierter als natürliche Sprache besser für maschinelle Verarbeitung geeignet 58

20 Semantik ( Lehre von der Bedeutung ): Ein Satz einer (natürlichen) Sprache verfügt zusätzlich über eine Bedeutung, d.h. teilt einem Hörer/Leser einen Sachverhalt mit ( Information) Ein Satz einer Programmiersprache, d.h. ein Programm verfügt ebenfalls über eine Bedeutung :-) 59

21 Die Bedeutung eines Programms ist alle möglichen Ausführungen der beschriebenen Berechnung ( operationelle Semantik); oder die definierte Abbildung der Eingaben auf die Ausgaben ( denotationelle Semantik). Achtung! Ist ein Programm syntaktisch korrekt, heißt das noch lange nicht, dass es auch das richtige tut, d.h. semantisch korrekt ist!!! 60

22 Die Bedeutung eines Programms ist alle möglichen Ausführungen der beschriebenen Berechnung ( operationelle Semantik); oder die definierte Abbildung der Eingaben auf die Ausgaben ( denotationelle Semantik). Achtung! Ist ein Programm syntaktisch korrekt, heißt das noch lange nicht, dass es auch das richtige tut, d.h. semantisch korrekt ist!!! 61

23 3.1 Reservierte Wörter ÒØ Bezeichner für Basis-Typen;, Ð, Û Ð Schlüsselwörter aus Programm-Konstrukten;,µ,,³, ß,Ð,, Sonderzeichen. 62

24 3.2 Was ist ein erlaubter Name? Schritt 1: Angabe der erlaubten Zeichen: letter ::=... Þ... digit ::= ¼... 63

25 3.2 Was ist ein erlaubter Name? Schritt 1: Angabe der erlaubten Zeichen: letter ::=... Þ... digit ::= ¼... letter und digit bezeichnen Zeichenklassen, d.h. Mengen von Zeichen, die gleich behandelt werden. Das Symbol trennt zulässige Alternativen. Das Symbol... repräsentiert die Faulheit, alle Alternativen wirklich aufzuzählen :-) 64

26 Schritt 2: Angabe der Anordnung der Zeichen: name ::= letter ( letter digit )* Erst kommt ein Zeichen der Klasse letter, dann eine (eventuell auch leere) Folge von Zeichen entweder aus letter oder aus digit. Der Operator * bedeutet beliebig ofte Wiederholung ( weglassen ist 0-malige Wiederholung :-). Der Operator * ist ein Postfix-Operator. Das heißt, er steht hinter seinem Argument. 65

27 Beispiele: ½ Ø Ò Æ Ñ Ü È ÛÓÖ... sind legale Namen :-) 66

28 À ÐÐÓ Ü³ ¹½... sind keine legalen Namen :-) Achtung: Reservierte Wörter sind als Namen verboten!!! 67

29 À ÐÐÓ Ü³ ¹½... sind keine legalen Namen :-) Achtung: Reservierte Wörter sind als Namen verboten!!! 68

30 3.3 Ganze Zahlen Werte, die direkt im Programm stehen, heißen Konstanten. Ganze Zahlen bestehen aus einem Vorzeichen (das evt. auch fehlt) und einer nichtleeren Folge von Ziffern: sign ::= ¹ number ::= sign? digit digit* 69

31 3.3 Ganze Zahlen Werte, die direkt im Programm stehen, heißen Konstanten. Ganze Zahlen bestehen aus einem Vorzeichen (das evt. auch fehlt) und einer nichtleeren Folge von Ziffern: sign ::= ¹ number ::= sign? digit digit* Der Postfix-Operator? besagt, dass das Argument eventuell auch fehlen darf, d.h. einmal oder keinmal vorkommt. Wie sähe die Regel aus, wenn wir führende Nullen verbieten wollen? 70

32 Beispiele: ¹½ ½¾ ¼ ¾ ¼ ¹¼¼¼ ¼... sind alles legale ÒØ-Konstanten. À ÐÐÓ ÏÓÖÐ ¹¼º ½¾... sind keine ÒØ-Konstanten. 71

33 Ausdrücke, die aus Zeichen (-klassen) mithilfe von (Alternative) * (Iteration) (Konkatenation) sowie? (Option)... aufgebaut sind, heißen reguläre Ausdrücke a ( Automatentheorie). a Gelegentlich sind auch ǫ, d.h. das leere Wort sowie, d.h. die leere Menge zugelassen. 72