I.2. I.2. Grundlagen Grundlagen von von Programmiersprachen. Programmiersprachen - 1 -
1. Der Begriff Informatik
"Informatik" = Kunstwort aus Information und Mathematik z Wissenschaft der Informationsverarbeitung mit groer Nhe zur Mathematik
Hauptaufgabe der Informatik
z Entwicklung formaler, maschinell ausfhrbarer Verfahren zur Lsung von Problemen der Informationsverarbeitung
Forderung der Durchfhrbarkeit mittels einer Maschine:
z Informationen mssen als maschinell verarbeitbare Daten dargestellt werden z Lsungsverfahren mssen bis ins Detail formal beschrieben werden.
I.2. Grundlagen von Programmiersprachen - 2 -
Algorithmus Ein Algorithmus ist ein Verfahren, welches z in einem endlichen Text niedergelegt werden muss z effektiv (durch eine Maschine ) ausgefhrt werden kann z aus (direkt maschinell ausfhrbaren) Elementaroperationen besteht und eindeutig festlegt, welche Elementaroperation als nchstes auszufhren ist (Determinismus) z Ein- und Ausgabe ermglicht, wobei jeder Eingabe genau eine Ausgabe zugeordnet wird (Determiniertheit)
Anzahl und Ausfhrungszeit der Elementaroperationen sind beschrnkt. Ein Algorithmus (Programm) wird durch eine Maschine schrittweise ausgefhrt z Die ausfhrende Instanz muss die Vorschrift interpretieren und korrekt ausfhren. z Ein Algorithmus terminiert, wenn er nach endlich vielen Schritten abbricht. I.2. Grundlagen von Programmiersprachen - 3 -
Deterministischer Algorithmus Berechnung von |x-y| 1. 2. 3. 4. 5. Lies Eingaben x und y. Falls x y: Weiter mit Schritt 3. Falls x > y: Weiter mit Schritt 4. Berechne a = y - x. Weiter mit Schritt 5. Berechne a = x - y. Gib a aus.
I.2. Grundlagen von Programmiersprachen - 4 -
Indeterministischer Algorithmus Berechnung von |x-y| 1. 2. 3. 4. Lies Eingaben x und y. Weiter mit Schritt 2 oder Schritt 3. Berechne a = x - y. Weiter mit Schritt 4. Berechne a = y - x. Falls a 0: Gib a aus. Falls a < 0: Gib -a aus.
I.2. Grundlagen von Programmiersprachen - 5 -
Fragen Wie kann man aus einer Lsungsidee einen Algorithmus konstruieren? z "schrittweise Programmentwicklung"
Wie beweist man, dass ein Algorithmus tatschlich das tut, was er tun soll? z Verifikation: partielle Korrektheit z Terminierung
Wie "gut" ist ein Algorithmus?
z Speicherverbrauch, bentigte Zeit (Effizienz) z Aufwandsabschtzungen I.2. Grundlagen von Programmiersprachen - 6 -
2. Syntax & Semantik von Programmiersprachen
Ein erstes Java-Programm: public class Rechnung { public static void main (String [] arguments) { int x, y; x = 10; y = 23 * 33 + 3 * 7 * (5 + 6); System.out.print (Das Resultat ist ); System.out.println (x + y); } }
I.2. Grundlagen von Programmiersprachen - 7 -
Programmiersprachen Die Programmiersprache bildet die Schnittstelle zwischen Mensch und Rechner Programmiersprache Rechner
Beide haben unterschiedliche Anforderungen
z Mensch Erlernbarkeit Hhere Programmiersprachen Lesbarkeit Ausdrucksstrke z Rechner einfaches bersetzen in Maschinensprache effizienter Code soll generiert werden knnen
Maschinensprachen
I.2. Grundlagen von Programmiersprachen - 8 -
Kenntnis verschiedener Sprachen
Eigene Ideen bei der Software-Entwicklung knnen besser ausgedrckt werden Ntig, um in konkreten Projekten geeignete Sprache auszuwhlen Erleichtert das Erlernen weiterer Programmiersprachen Ntig fr den Entwurf neuer Programmiersprachen I.2. Grundlagen von Programmiersprachen - 9 -
bersicht Imperative Sprachen z Folge von nacheinander ausgefhrten Anweisungen
Deklarative Sprachen z Spezifikation dessen, was berechnet werden soll z Festlegung, wie Berechnung verluft durch Compiler
Prozedurale Sprachen z Variablen, Zuweisungen, Kontrollstrukturen
Funktionale Sprachen z keine Seiteneffekte z Rekursion
Objektorientierte Sprachen z Objekte und Klassen z ADT und Vererbung
Logische Sprachen z Regeln zur Definition von Relationen I.2. Grundlagen von Programmiersprachen - 10 -
Wichtige Programmiersprachen 1950 Fortran 1960 Cobol PL/1 1970 Pascal C 1980 Ada C++ Modula-3
Algol 60 Algol 68 Simula Smalltalk
Lisp
Scheme ML Miranda Eiffel Haskell
Prolog
1990 Ada-95 prozedural Java
objektorientiert
funktional
logisch
I.2. Grundlagen von Programmiersprachen - 11 -
Programmiersprachen - Definition Programmiersprachen sind Sprachen, deren Syntax und Semantik genau festgelegt ist.
Syntax: z Definition aller zulssigen Wrter / Programme, die in einer Sprache formuliert werden knnen
Semantik: z Bedeutung der zulssigen Wrter / Programme z Syntaktische falsche Wrter / Programme haben keine Semantik
I.2. Grundlagen von Programmiersprachen - 12 -
Alphabet, formale Sprache
Alphabet z nichtleere endliche Menge von Zeichen (Buchstaben, Symbolen)
Wort ber einem Alphabet
z endliche Folge von Buchstaben, die auch leer sein kann ( leere Wort) z A* bezeichnet die Menge aller Wrter ber dem Alphabet A (inkl. dem leeren Wort)
Formale Sprache z Sei A ein Alphabet. Eine (formale) Sprache (ber A) ist eine beliebige Teilmenge von A*.
z Grammatik, die Sprache erzeugt, oder Automat, der Sprache erkennt I.2. Grundlagen von Programmiersprachen - 13 -
Beispiele Beispiel 1 z A1 = { 0,1}, A1* = { , 0, 1, 01, 10, 11, 000, 100 , } z L = {0, 1, 10, 11, 100, 101, .. } A1*, die Menge der Binrdarstellungen natrlicher Zahlen (mit Null, ohne fhrende Nullen)
Beispiel 2 z A2 = {(, ), +, -, *, /, a}, A2* = {, (), (+-a), (a*a), } z die Sprache der korrekt geklammerten Ausdrcke EXPR A2* : EXPR = { (((a))), (a + a), (a - a)*a + a /(a + a) -a, .. }
I.2. Grundlagen von Programmiersprachen - 14 -
Grammatik - informell Definiert Regeln, die festlegen, welche Wrter ber einem Alphabet zur Sprache gehren und welche nicht. Beispiel: Grammatik fr "Hund-Katze-Stze" 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Satz Subjekt Artikel Artikel Artikel Artikel Attribut Attribut Attribut Adjektiv Adjektiv Adjektiv Substantiv Substantiv Prdikat Objekt Subjekt Prdikat Objekt Artikel Attribut Substantiv der die das Adjektiv Adjektiv Attribut kleine bissige groe Hund Katze jagt Artikel Attribut Substantiv I.2. Grundlagen von Programmiersprachen - 15 -
Grammatik - informell Grammatik fr "Hund-Katze-Stze" z durch diese Grammatik knnen z.B. die folgenden Stze gebildet (abgeleitet) werden "der kleine bissige Hund jagt die groe Katze" "die kleine Katze jagt der bissige Hund" "das groe Katze jagt der kleine groe bissige kleine . Katze" z folgende "Stze" werden nicht durch diese Grammatik gebildet "die Katze der Hund" "Katze und Hund" "der Hund jagt die Katze die jagt Hund"
I.2. Grundlagen von Programmiersprachen - 16 -
Grammatik - Definition - 1 Definition: z Eine Grammatik G ist definiert durch ein Viertupel (N, T, P, S)
N: endliche Menge der Nichtterminalsymbole (Variablen)
z sind Symbole fr syntaktische Abstraktionen z Beispiel: Satz, Subjekt, Prdikat, Objekt, Artikel, Attribut, Substantiv, Adjektiv z kommen nicht in den Wrtern der Sprache vor z werden durch Anwendung der Produktionsregeln solange ersetzt, bis nur noch Terminalsymbole brig sind
T: endl. Menge der Terminalsymbole, disjunkt mit N: N T =
z sind Zeichen des Alphabets, aus denen die Wrter der Sprache bestehen z Beispiel: der, die, das, kleine, bissige, groe, Hund, Katze, jagt I.2. Grundlagen von Programmiersprachen - 17 -
Grammatik - Definition - 2 P: endliche Menge von Produktionsregeln x y z Regel x y bedeutet, dass das Teilwort x durch das Teilwort y ersetzt werden kann z x V* N V*, y V*, wobei V = N T (Vokabular). D.h.: sowohl x als auch y knnen beliebige Nichtterminal- und Terminalsymbole enthalten, x enthlt mindestens ein Nichtterminal. z Beispiel: Prdikat jagt der kleine bissige Hund Prdikat Objekt der kleine bissige Hund jagt Objekt
S: das Startsymbol z ist ein spezielles Nichtterminalsymbol aus N, aus dem alle Wrter der Sprache mit Hilfe der Grammatik erzeugt werden z Beispiel: Satz
I.2. Grundlagen von Programmiersprachen - 18 -
Grammatik - Definition - 3 Ableitung z Ableitungsprozess ist eine Relation "" auf V* z Fr u, v, y V * und x V *NV* gilt uxv uyv genau dann, wenn (x y) P
Die von der Grammatik G erzeugte Sprache ist:
z L(G) = { w | w T*, S ... w} w ist ableitbar aus dem Startsymbol
z D.h.: Jedes durch Anwendung der Regeln aus S erzeugbare Wort, das nur aus Terminalsymbolen besteht, gehrt zu der Sprache L(G) z zwei Grammatiken heien quivalent, wenn sie dieselbe Sprache erzeugen
I.2. Grundlagen von Programmiersprachen - 19 -
Kontextfreie Grammatik / Sprache
Produktionsregeln: Ay A N, y V* d.h.: Links steht genau ein Nichtterminalsymbol
Wichtigste Klasse zur formalen Beschreibung der Syntax von Programmiersprachen.
Es ist mglich, Automaten zu bauen, die Wrter einer kontextfreien Sprache erkennen (Wortproblem) und ihre syntaktische Struktur analysieren (Compilerbau)
Notationen zur Darstellung kontextfreier Grammatiken
z Syntaxdiagramme z Extended Backus-Naur-Form (EBNF) I.2. Grundlagen von Programmiersprachen - 20 -
Grammatik - Beispiel Sei G = (N, T, P, S) mit z N = {A, B} z T= z P= z S= {a, b, c, d} { A aBbc, B aBb, aBb d } A L(G) = { a d b c | n 0} n n
z G ist keine kontextfreie Grammatik, da die dritte Produktionsregel auf der linken Seite mehr als nur das Nichtterminalsymbol B enthlt.
Ersetzt man in G die Produktionen P durch P', dann ist G' kontextfrei. Es gilt L(G) = L(G') z P' = { A Bc, B aBb, Bd } I.2. Grundlagen von Programmiersprachen - 21 -
EBNF EBNF (Extended Backus-Naur-Form) z kompaktere Reprsentation kontextfreier Grammatiken z BNF erstmals benutzt zur Definition der Sprache Algol-60 z EBNF-Notation = definiert als (...|...) genau eine Alternative aus der Klammer muss kommen [ ... ] Inhalt der Klammer kann kommen oder nicht { ... } Inhalt der Klammer kann n-fach kommen, n 0 Terminalsymbole werden in " " eingeschlossen
Subjekt Prdikat Objekt Artikel Attribut Substantiv der die das Adjektiv Adjektiv Attribut kleine bissige groe Hund Katze jagt Artikel Attribut Substantiv I.2. Grundlagen von Programmiersprachen - 23 -
Syntaxdiagramme Syntaxdiagramme (beschreiben Produktionen grafisch) z Nichtterminalsymbole sind Rechtecke z Terminalsymbole sind rund / oval Subjekt Artikel Artikel der die das Attribut Adjektiv I.2. Grundlagen von Programmiersprachen - 25 -
