Algorithmen und Datenstrukturen II

Transkript

1 Syntax und Semantik Java: Der Einstieg Imperative Programmierung in Java Algorithmen zur exakten Suche in Texten Objektori Algorithmen und Datenstrukturen II AG Praktische Informatik Technische Fakultät Vorlesung Sommer 2009

2 Syntax und Semantik Java: Der Einstieg Imperative Programmierung in Java Algorithmen zur exakten Suche in Texten Objektori Veranstalter Vorlesung und Übungen Raum: M3-124 Tel.: 0521/

3 Syntax und Semantik Java: Der Einstieg Imperative Programmierung in Java Algorithmen zur exakten Suche in Texten Objektori Webseite zur Vorlesung Informationen zur Vorlesung und den Übungen Folien, Skript, Übungszettel AuDIISS09/

4 Syntax und Semantik Java: Der Einstieg Imperative Programmierung in Java Algorithmen zur exakten Suche in Texten Objektori Webseite zur Vorlesung Informationen zur Vorlesung und den Übungen Folien, Skript, Übungszettel AuDIISS09/ Account-Antrag: accountantrag.html Abholung nach ca. 2 Tagen im Support-Büro M3-100.

5 Syntax und Semantik Java: Der Einstieg Imperative Programmierung in Java Algorithmen zur exakten Suche in Texten Objektori Übungsgruppen Anmeldung zu den Übungen durch Eintrag auf den Listen am schwarzen Brett der Technischen Fakultät Zeitraum der Anmeldung: Dienstag 14.4., ca. 15 Uhr bis Donnerstag 16.4., 16 Uhr Raumnummern und Tutoren werden ab Freitag, dem 17.4., am schwarzen Brett bekanntgegeben

6 Syntax und Semantik Java: Der Einstieg Imperative Programmierung in Java Algorithmen zur exakten Suche in Texten Objektori Aufgabenzettel erstes Übungsblatt am (dann jeweils am Dienstag in der Vorlesung) Aufgaben in Gruppen von 3 Studierenden bearbeiten Lösungen werden eine Woche nach der Ausgabe in der Vorlesung eingesammelt Leistungsnachweis: 1 mindestens 50% der möglichen Punktzahl in den Übungszetteln 2 erfolgreiche Bearbeitung der Projektaufgabe 3 regelmäßige aktive Teilnahme an den Übungen. Es darf maximal zweimal unentschuldigt gefehlt werden. Ansonsten ist ein ärztliches Attest erforderlich. Die Übungen beginnen in der Woche vom bis

7 Syntax und Semantik Java: Der Einstieg Imperative Programmierung in Java Algorithmen zur exakten Suche in Texten Objektori Einzelprojekt Vorbereitung auf TdPE Veranstaltung Java-Programmieraufgabe als Einzelarbeit Ausgabe der Projektaufgabe am Abgabe der Lösungen spätestens am

8 Syntax und Semantik Java: Der Einstieg Imperative Programmierung in Java Algorithmen zur exakten Suche in Texten Objektori Übersicht 1 Syntax und Semantik 2 Java: Der Einstieg 3 Imperative Programmierung in Java 4 Algorithmen zur exakten Suche in Texten 5 Objektorientierte Programmierung in Java 6 Übergang von funktionaler zu OOP 7 Programmieren im Großen 8 Hashing 9 Ein- und Ausgabe 10 Grafische Benutzeroberflächen 11 Graphen

9 Teil I Syntax und Semantik

10 Einführung Programmiersprachen sind formale Sprachen. Es ist präzise festgelegt, welche Zeichenreihen überhaupt Programme einer Sprache L sind (Syntax), welche Ein-/Ausgabefunktion ein Programm berechnet (Semantik).

11 Konkrete/abstrakte Syntax konkrete Syntax Genaue textuelle Aufschreibung für Programme. abstrakte Syntax Bindeglied zur Semantik; gibt an, wie ein Programm(-stück) aufgebaut ist.

12 Beispiel abstrakt assign x add var const y 5

13 Beispiel abstrakt konkret assign x := y + 5 Pascal x = y + 5 C, Fortran, Java x add LET x = y + 5 Basic (anno 1963) ADD 5 TO y GIVING x COBOL STORE y + 5 TO x dbase var const y 5

14 Operatoren und Konstrukte In der abstrakten Syntax tauchen die primitiven Konstrukte einer Programmiersprache auf, sowie Operatoren, die diese zu neuen Konstrukten kombinieren. primitiv: Bezeichner, Zahl Kombination: var: Bezeichner Ausdruck const: Zahl Ausdruck add: Ausdruck Ausdruck Ausdruck assign: Bezeichner Ausdruck Anweisung

15 Wörter Definition Ein Alphabet A ist ein endlicher Zeichenvorrat (eine endliche Menge). Die Mengen aller endlichen Zeichenreihen über einem Alphabet A bezeichnen wir mit A. Das leere Wort der Länge 0 bezeichnen wir mit ε.

16 Formale Sprachen Definition Eine Menge L A heißt formale Sprache über dem Alphabet A. Einen abstrakteren Sprachbegriff kann man kaum definieren. Die einzige Frage, die man sich über w A stellen kann, ist: Gilt w L oder w L? Diese Frage nennt man das Wortproblem von L.

17 Programmiersprachen Definition Eine Programmiersprache ist ein Paar (L, L), wobei L A eine formale Sprache und L : L (A A ) die Semantik von L ist. Damit ordnet L jedem L-Programm l L als seine Bedeutung die Ein-/Ausgabefunktion L(l) zu, wobei Ein- und Ausgabe ebenfalls Zeichenreihen über A sind. Für L(l) schreiben wir auch kurz Ll.

18 Kontextfreie Grammatiken Definition Eine kontextfreie Grammatik ist ein 4-Tupel G = (N, A, P, S), wobei 1 N ein Alphabet von sogenannten Nonterminalsymbolen, 2 A ein Alphabet von sogenannten Terminalsymbolen mit N A =, 3 P eine endliche Menge von Produktionen (Regeln) der Form V α mit V N und α (V A) und 4 S N ein Startsymbol ist.

19 Satzformen einer Grammatik Die Menge S(G) der Satzformen von G ist die kleinste Teilmenge von (N A) mit den folgenden Eigenschaften: 1 S S(G). 2 Wenn αv β S(G) für ein Nonterminalsymbol V N und Zeichenfolgen α, β (N A) und wenn V γ P eine Regel ist, so gilt auch αγβ S(G) ( Ableitungsschritt ).

20 Sprache einer Grammatik Die durch G definierte Sprache ist L(G) def = S(G) A. Den Test, ob ein gegebenes Wort w durch eine Grammatik G erzeugt werden kann, also ob w L(G) gilt, nennt man das Wortproblem von G.

21 Syntax und Semantik von Sprachen: Bohrkopfsteuerung N W E O S N, E, W, S: Bewegung um 1 Gitterpunkt (north, east, west, south) O: Einstellen auf Nullpunkt (origin) D: Senken des Bohrkopfes mit Bohrung (drill) U: Heben des Bohrkopfes (up)

22 Programme zur Maschinensteuerung ONNNEEDO Bohrung am Punkt (2,3) mit Rückkehr zum Nullpunkt ODUDUDU DUNDUWDUSDU Dreifach-Bohrung am Nullpunkt bohrt Gitterquadrat, wo der Kopf gerade steht

23 Steuersprache In der ersten Variante unserer Steuersprache lassen wir beliebige Befehlsfolgen zu. Außerdem kann jedes Programm als Eingabe ein Paar von Start-Koordinaten erhalten. L 1 = {N, E, W, S, U, D, O} Eingabe: (Int, Int) L 1 : L 1 (Int, Int) [(Int, Int)]

24 Maschinenzustand x y l cs aktuelle x-koordinate aktuelle y-koordinate aktueller Hebezustand des Bohrkopfes: 0 gesenkt, 1 oben Liste bisheriger Bohr-Koordinaten

25 Semantik von Befehlen bef :: Befehl Zustand Zustand bef b (x, y, l, cs) = case b of O (0, 0, 1, cs) N (x, y + 1, l, cs) W (x 1, y, l, cs) S (x, y 1, l, cs) E (x + 1, y, l, cs) D (x, y, 0, (x, y) : cs) U (x, y, 1, cs)

26 Befehlsfolgen beff :: Befehl Zustand [(Int, Int)] beff [ ](x, y, l, cs) = reverse cs beff (b : bs)(x, y, l, cs) = beff bs(bef b (x, y, l, cs))

27 Befehlsfolgen beff :: Befehl Zustand [(Int, Int)] beff [ ](x, y, l, cs) = reverse cs beff (b : bs)(x, y, l, cs) = beff bs(bef b (x, y, l, cs)) Die Semantik L 1 wird beschrieben durch die Funktion prog :: Befehl (Int, Int) [(Int, Int)] prog bs (i, j) = beff bs (i, j, 1, [])

28 Programmiersprache L 1 und ihre Semantik L 1 sind sehr naiv. Man sollte zum Beispiel bedenken, dass das Werkstück und vielleicht auch die Maschine beschädigt werden, wenn mit abgesenktem Bohrkopf Bewegungen ausgelöst werden. Freilich solange niemand solche Steuerprogramme erzeugt, geht alles gut. Jedoch wollen wir uns nicht darauf verlassen...

29 Syntaktische vs. semantische Verfeinerung Generell gibt es zwei Möglichkeiten, eine Sprache (L, L) zu verfeinern: syntaktisch oder semantisch. Semantisch heisst: das Unglück kann programmiert werden, tritt aber nicht ein. Syntaktisch heisst: das Unglück wird bereits als syntaktisch fehlerhaftes Programm abgewiesen.

30 Aufgabe Modifiziere die Semantik L 1 (bei unverändertem L 1 ) in zwei verschiedenen Weisen. Tritt eine Bewegung mit abgesenktem Bohrkopf auf, so wird a) die Ausführung des Programms abgebrochen und nur die Koordinaten der bisherigen Bohrungen ausgegeben, b) die Ausführung des Programms abgebrochen und keine Koordinaten angegeben.

31 Forderungen an die Steuersprache Wir entscheiden uns nun für die syntaktische Verfeinerung und stellen Forderungen an die Steuersprache L: 1 Auf Befehl D muss stets U oder O folgen. 2 Befehl O ist immer möglich, U nur unmittelbar nach D. 3 Alle Programme enden mit dem Bohrkopf am Nullpunkt. 4 Auf dem Weg von einer Bohrung zur nächsten sind gegenläufige Richtungswechsel unerwünscht, zum Beispiel... NSNS... oder... NES..., weil sie die Maschine in Schwingung versetzen können. Alle diese Forderungen lassen sich durch Einschränkungen von L 1 erfüllen, erfordern aber verfeinerte Methoden zur syntaktischen Sprachbeschreibung. Solche Mittel sind Grammatiken.

32 Grammatik 1 Grammatik G 1 (zur Beschreibung von L 1 ) A = { N, E, W, S, U, D, O} N = { moves, move} S = moves P = { moves ε move moves move N E W S U D O}

33 Grammatik 1 Grammatik G 1 (zur Beschreibung von L 1 ) A = { N, E, W, S, U, D, O} N = { moves, move} S = moves P = { moves ε move moves move N E W S U D O} Hier gilt L(G 1 ) = A. Es ist w L(G 1 ) mit w = WENDEDENUDOSUED Übung: Leite w mit dieser Grammatik ab.

34 Verfeinerte Grammatik 2 Verfeinerte Grammatik G 2 (berücksichtigt Forderungen (1) - (3), aber nicht (4)). A, N, S wie G 1 P = { moves O DO move moves move N E W S O DU DO}

35 Verfeinerte Grammatik 2 Verfeinerte Grammatik G 2 (berücksichtigt Forderungen (1) - (3), aber nicht (4)). A, N, S wie G 1 P = { moves O DO move moves move N E W S O DU DO} Frage: Warum brauchen wir die Regel moves DO überhaupt?

36 Verfeinerte Grammatik 2 Verfeinerte Grammatik G 2 (berücksichtigt Forderungen (1) - (3), aber nicht (4)). A, N, S wie G 1 P = { moves O DO move moves move N E W S O DU DO} Frage: Warum brauchen wir die Regel moves DO überhaupt? Antwort: Sonst ist DO / S(G 2 ).

37 Warum ist nun w = WENDEDENUDOSUED / S(G 2 )? Versuch einer Ableitung: moves move moves W moves W move moves W E moves 3 W E N move moves W E N? Hier kann nur DU oder DO erzeugt werden, aber nicht D allein oder DE.

38 Verfeinerte Grammatik 3 Verfeinerte Grammatik G 3 (berücksichtigt Forderungen (1) und (4), (2) nur teilweise und (3) gar nicht): A, S wie G 1 N = { moves, ne, nw, se, sw, drill } P = { moves ε ne moves nw moves se moves sw moves ne N ne E ne drill se S se E se drill nw N nw W nw drill sw S sw W sw drill drill DU DO }

39 RNA-Sekundärstrukturen Ein RNA-Molekül besteht aus Basen A,C,G,U. Durch Wasserstoff-Brücken zwischen A U, G C, G U bilden sich Basenpaarungen, die zu einer Sekundärstruktur führen. Primärsequenz C A C C U A A G G U C C Sekundärstruktur C A C C U A A G G U C C C A U C C C G U C A G Helix-Bildung schafft St A

40 Sekundärstruktur-Grammatik Grammatik zur Beschreibung der Sekundärstruktur (Ausschnitt): A = { A, C, G, U } N = { struct, any, stack, loop } S = struct P = { struct any any struct struct any stack ε any A C G U stack A stack U U stack A G stack C C stack G G stack U U stack G loop loop any loop any any any }

41 Ableitung von RNA-Sequenzen Allein mit den ersten beiden Produktionen kann man alle RNA-Sequenzen ableiten: struct any struct A struct A any struct AC struct... Damit ist L(G) = A. Der Witz der Grammatik ist, dass manche Ableitungen das Vorliegen möglicher Sekundärstrukturen anzeigen dann nämlich, wenn sie die Produktionen für stack benutzen.

42 Ableitung == Struktur struct 2 C struct 4 C struct CC C stack CC CA stack UCC 2 CACC stack GGUCC CACC loop GGUCC 4 CACCUAAGGUCC

43 Syntaxbaum struct any struct C struct any any C struct C stack U A C C any stack U stack G stack G loop any any A A

44 EBNF, Historisches Syntaxbeschreibung von FORTRAN und COBOL (am Anfang) durch Beispiele und Gegenbeispiele formale Beschreibung der Syntax von ALGOL durch John Backus; Backus-Normalform (BNF). Kleine Verbesserungen in der Notation durch Peter Naur, daher spricht man heute von der Backus-Naur-Form (BNF). Niklaus Wirth hat die Backus-Naur-Form noch einmal überarbeitet und erweitert (EBNF Extended BNF).

45 EBNF, Definition Die Metazeichen der EBNF (vgl. Klaeren [5], S. 104) sind: das Definitionszeichen = das Alternativzeichen die Anführungszeichen die Wiederholungsklammern { } die Optionsklammern [ ] die Gruppenklammern ( ) der Punkt.

46 EBNF, Terme Die Menge ET der EBNF-Terme ist gegeben durch: 1 Ist V eine Folge von Buchstaben und Ziffern, die mit einem Buchstaben beginnt, so gilt V ET und gilt als Nonterminalsymbol.

47 EBNF, Terme Die Menge ET der EBNF-Terme ist gegeben durch: 1 Ist V eine Folge von Buchstaben und Ziffern, die mit einem Buchstaben beginnt, so gilt V ET und gilt als Nonterminalsymbol. 2 Ist w eine Folge von beliebigen Symbolen, so ist w ET und gilt als ein (!) Terminalsymbol.

48 EBNF, Terme Die Menge ET der EBNF-Terme ist gegeben durch: 1 Ist V eine Folge von Buchstaben und Ziffern, die mit einem Buchstaben beginnt, so gilt V ET und gilt als Nonterminalsymbol. 2 Ist w eine Folge von beliebigen Symbolen, so ist w ET und gilt als ein (!) Terminalsymbol. 3 Für α ET sind auch

49 EBNF, Terme Die Menge ET der EBNF-Terme ist gegeben durch: 1 Ist V eine Folge von Buchstaben und Ziffern, die mit einem Buchstaben beginnt, so gilt V ET und gilt als Nonterminalsymbol. 2 Ist w eine Folge von beliebigen Symbolen, so ist w ET und gilt als ein (!) Terminalsymbol. 3 Für α ET sind auch 1 (α) ET,

50 EBNF, Terme Die Menge ET der EBNF-Terme ist gegeben durch: 1 Ist V eine Folge von Buchstaben und Ziffern, die mit einem Buchstaben beginnt, so gilt V ET und gilt als Nonterminalsymbol. 2 Ist w eine Folge von beliebigen Symbolen, so ist w ET und gilt als ein (!) Terminalsymbol. 3 Für α ET sind auch 1 (α) ET, 2 [α] ET und

51 EBNF, Terme Die Menge ET der EBNF-Terme ist gegeben durch: 1 Ist V eine Folge von Buchstaben und Ziffern, die mit einem Buchstaben beginnt, so gilt V ET und gilt als Nonterminalsymbol. 2 Ist w eine Folge von beliebigen Symbolen, so ist w ET und gilt als ein (!) Terminalsymbol. 3 Für α ET sind auch 1 (α) ET, 2 [α] ET und 3 {α} ET.

52 EBNF, Terme Die Menge ET der EBNF-Terme ist gegeben durch: 1 Ist V eine Folge von Buchstaben und Ziffern, die mit einem Buchstaben beginnt, so gilt V ET und gilt als Nonterminalsymbol. 2 Ist w eine Folge von beliebigen Symbolen, so ist w ET und gilt als ein (!) Terminalsymbol. 3 Für α ET sind auch 1 (α) ET, 2 [α] ET und 3 {α} ET. 4 Für α 1,..., α n ET sind auch

53 EBNF, Terme Die Menge ET der EBNF-Terme ist gegeben durch: 1 Ist V eine Folge von Buchstaben und Ziffern, die mit einem Buchstaben beginnt, so gilt V ET und gilt als Nonterminalsymbol. 2 Ist w eine Folge von beliebigen Symbolen, so ist w ET und gilt als ein (!) Terminalsymbol. 3 Für α ET sind auch 1 (α) ET, 2 [α] ET und 3 {α} ET. 4 Für α 1,..., α n ET sind auch 1 α 1... α n ET und

54 EBNF, Terme Die Menge ET der EBNF-Terme ist gegeben durch: 1 Ist V eine Folge von Buchstaben und Ziffern, die mit einem Buchstaben beginnt, so gilt V ET und gilt als Nonterminalsymbol. 2 Ist w eine Folge von beliebigen Symbolen, so ist w ET und gilt als ein (!) Terminalsymbol. 3 Für α ET sind auch 1 (α) ET, 2 [α] ET und 3 {α} ET. 4 Für α 1,..., α n ET sind auch 1 α 1... α n ET und 2 α 1 α 2... α n ET.

55 EBNF-Definitionen Eine EBNF-Definition besteht aus einer endlichen Menge von EBNF-Regeln der Form V = α. wobei V ein Nonterminalsymbol entsprechend obiger Konvention und α ein EBNF-Term ist. Das Nonterminalsymbol auf der linken Seite der ersten Regel ist das Startsymbol.

56 EBNF-Definition für Mini-Java (1) program = class ident { mainmethod }. mainmethod = public static void main ( String [ ] argsident ) bloc statement = int ident = expression ; ident = expression ; if ( condition ) statement while ( condition ) statement block System. out. println ( expression ) ; ; int [ ] arrayident = new int [ expression ] ; arrayident [ expression ] = expression ;. block = { { statement } }. condition = expression ( ==!= < <= > >= ) expression. expression = [ ( + - ) ] term { ( + - ) term }. term = factor { ( * / ) factor }.

57 EBNF-Definition für Mini-Java (2) factor = ident number ( expression ) Integer. parseint ( argsident [ expression ] ) argsident. length arrayident. length arrayident [ expression ]. ident = ( letter _ $ ) { letter digit }. number = ( 0 digit { digit 0 } ). digit = letter = A... Z a... z. argsident = ident. arrayident = ident.

58 Operationen auf Sprachen Seien L, L 1 und L 2 beliebige Sprachen (Wortmengen) über einem gemeinsamen Alphabet. Dann definieren wir: def 1. Komplex-Produkt: L 1 L 2 = {w 1 w 2 w 1 L 1, w 2 L 2 } (also L = L = ; L{ε} = {ε}l = L) 2. n-fache Iteration: L 0 def = {ε}, L n+1 := LL n 3. Stern-Operation: L def = n N Ln

59 Semantik der EBNF (1) Die Semantik der EBNF definieren wir durch Rekursion über die EBNF-Terme. Sei E eine EBNF-Definition (wobei S das Startsymbol, N die Menge der Nonterminals und A die Menge der Terminals sei) und ET die Menge der EBNF-Terme. Dann ist die von E erzeugte Sprache L(E) definiert als S E, wobei E : ET P(A ) wie folgt definiert ist (vgl. Klaeren [5], S. 107):

60 Semantik der EBNF (2) 1 Für V N{ ist def α E falls V = α. eine Regel in E ist V E = sonst

61 Semantik der EBNF (2) 1 Für V N{ ist def α E falls V = α. eine Regel in E ist V E = sonst 2 w E def = {w}

62 Semantik der EBNF (2) 1 Für V N{ ist def α E falls V = α. eine Regel in E ist V E = sonst def 2 w E = {w} def 3 (α) = α E E

63 Semantik der EBNF (2) 1 Für V N{ ist def α E falls V = α. eine Regel in E ist V E = sonst def 2 w E = {w} def 3 (α) = α E E def 4 [α] = {ε} α E E

64 Semantik der EBNF (2) 1 Für V N{ ist def α E falls V = α. eine Regel in E ist V E = sonst def 2 w E = {w} def 3 (α) = α E E def 4 [α] = {ε} α E E def 5 {α} = α E E

65 Semantik der EBNF (2) 1 Für V N{ ist def α E falls V = α. eine Regel in E ist V E = sonst def 2 w E = {w} def 3 (α) = α E E def 4 [α] = {ε} α E E def 5 {α} = α E E 6 α 1... α n E def = α 1 E... α n E

66 Semantik der EBNF (2) 1 Für V N{ ist def α E falls V = α. eine Regel in E ist V E = sonst def 2 w E = {w} def 3 (α) = α E E def 4 [α] = {ε} α E E def 5 {α} = α E E 6 α 1... α n E def = α 1 E... α n E 7 α 1 α n E def = α 1 E α n E

67 Beispiel eines syntaktisch korrekten Mini-Java-Programms class BubbleSort { public static void main(string[] args) { int[] array = new int[args.length]; int i = 0; while (i < args.length) { array[i] = Integer.parseInt(args[i]); i = i+1; } i = 1; while (i < array.length) { int j = array.length - 1; while (j >= i) { if (array[j] < array[j-1]) { int tmp = array[j]; array[j] = array[j-1]; array[j-1] = tmp; } j = j-1; } i = i+1; } i = 0; while (i < array.length) { System.out.println(array[i]); i = i+1; } } }

68 EBNF-Definition für Mini-Java (1) program = class ident { mainmethod }. mainmethod = public static void main ( String [ ] argsident ) bloc statement = int ident = expression ; ident = expression ; if ( condition ) statement while ( condition ) statement block System. out. println ( expression ) ; ; int [ ] arrayident = new int [ expression ] ; arrayident [ expression ] = expression ;. block = { { statement } }. condition = expression ( ==!= < <= > >= ) expression. expression = [ ( + - ) ] term { ( + - ) term }. term = factor { ( * / ) factor }.

69 EBNF-Definition für Mini-Java (2) factor = ident number ( expression ) Integer. parseint ( argsident [ expression ] ) argsident. length arrayident. length arrayident [ expression ]. ident = ( letter _ $ ) { letter digit }. number = ( 0 digit { digit 0 } ). digit = letter = A... Z a... z. argsident = ident. arrayident = ident.

70 Syntaxdiagramme für EBNF-Definitionen (1) w : w für alle w A. V : V für alle V N. [α] : α {α} : α

71 Syntaxdiagramme für EBNF-Definitionen (2) α 1... α n : α 1 α n α 1 α n : α 1. α n

72 Beispiel: Syntaxdiagramme für Mini-Java (1) program class ident { mainmethod } mainmethod public static void main ( String [ ] argsident ) block

73 Beispiel: Syntaxdiagramme für Mini-Java (2) statement int ident = expression ; ident = expression ; if ( condition ) statement while ( condition ) statement block System. out. println ( expression ) ; ; int [ ] arrayident = new int [ expression ] ; arrayident [ expression ] = expression ;

74 Beispiel: Syntaxdiagramme für Mini-Java (3) condition expression!= == expression < block { } <= >= statement >

75 Beispiel: Syntaxdiagramme für Mini-Java (4) expression term + term + term factor factor * /

76 Beispiel: Syntaxdiagramme für Mini-Java (5) factor ident number ( expression ) Integer. parseint ( argsident [ expression ] ) argsident. length arrayident. length arrayident [ expression ]

77 Beispiel: Syntaxdiagramme für Mini-Java (6) ident letter _ $ letter digit number digit 0 digit 0

78 Beispiel: Syntaxdiagramme für Mini-Java (7) letter A... digit 1 Z a z

79 K. Arnold, J. Gosling: Java TM - Die Programmiersprache. Addison-Wesley, T.H. Cormen, C.E. Leierson, R.L. Rivest: Introduction to Algorithms. MIT Press, D. Flanagan: Java in a Nutshell. O Reilly & Associates Inc., F. Jobst: Programmieren in Java. Hanser Verlag, H. Klaeren: Vom Problem zum Programm. 2.Auflage, B.G. Teubner Verlag, K. Echtle, M. Goedicke: Lehrbuch der Programmierung mit Java. dpunkt-verlag, 2000.