Lösung 7.1 Syntax und Semantik

1. Geben Sie Beispiele füra) lexikalische Strukturelemente: Bezeichner, Literale, Schlüsselworte, ...b) syntaktische Strukturelemente: Alle Elemente aus „Algorithmenentwurf“

der Programmiersprache C++ an2. Formulieren Sie die Semantik

a) einer while-Schleife: siehe Schleife mit vorausgehender Prüfung

b) eines Unterprogrammaufrufes siehe „Block“

3. recherchieren Sie nach weiteren ProgrammiersprachenAlgol 60, Algol 68, Forth, PL/1, Fortran, Smalltalk, Simula 67, SETL, Snobol, Cobol, Pascal, Turbo-Pascal, DELPHI, Concurrent Pascal, SPSS, CLU, Alphard, SDL, Oberon, Oberon-2, Object Cobol, Ada, APL, CDL 2, Ada 95, Mesa, Modula-2, Chill, BCPL, C, Objective-C, Modula-3, C++, ,Assemblersprachen, Prolog, Prolog II, Eiffel, Beta, Opal, CS,P Hope, Miranda, Lisp, Common Lisp, PHP, Perl, Scheme, Haskell, Standard ML, Clipper, Basic, Visual Basic, Java, JavaScript, SQL, Late,x Postscript, HTML, UML, Z, Act-One, VDM, awk, LEX, YACC, Maschinensprachen, RPG, Occam, Linda, T Lotus, OPS-5, ...

werden Sie zu Meta-Programmierern und -Programiererinnen

Lösung 7.2 Reguläre Ausdrücke

1. Geben Sie reguläre Ausdrücke füra) Integerliterale: [0-9]+ bzw. (1|2|3|4|5|6|7|8|9)(0|1|2|3|4|5|6|7|8|9)*

b) while, function, if while usw. bzw. ‘w‘‘h‘‘i‘‘l‘‘e‘ usw.

2. Geben Sie einen regulären Ausdruck zu folgenden Sprachen an:a) Alle Folgen von Großbuchstaben, die jeden Vokal genau einmal in

alphabetischer Reihenfolge enthält:KONS = [B-DF-HJ-NP-TV-Z]{KONS}*A{KONS}*E{KONS}*I{KONS}*O{KONS}*U{KONS}*

b) Alle Dualziffernfolgen, die „001“ nicht als Teilfolge enthalten(0?1+)*0*

2. Welche Sprachen sind durch die folgenden regulären Ausdrücke definiert ?a) (0?|1*)* alle Binärzahlen, denn (0|1) ist Teilmenge von (0?|

1*)

b) (0|1)*0(0|1)(0|1) alle Binärzahlfolgen, bei denen die drittletzte Zifferexistiert und 0 ist

c) /\*((\*[^/])|[^\*])*\*/ „wohlgeformte“ C-Kommentare

Lösung 7.3 Grammatiken

1. gegeben ist folgende Grammatik G:G = { N,T,P,S }, N = { A,B,C,S }, T = { a,b,c },P = { S:=ABC, A:=ABA, C:=CBC, A:=a, B:=b, C:=c }

a) Die Grammatik ist kontextfrei, da auf der linken Seite aller Regeln genau ein Nichtterminalsymbol steht

b) Beweis durch Ableitung :S ABC ABA BC ABA BABC ABABAB CBC ... : abababcbc

c) Es gibt keine Regel, die ein b vor ein a produziert, ohne dass vor dem b auch noch a‘s sind, daher ist b2a2c3 L(G), denn in b2a2c3 ist ein b vor einem a.

d) (ab)+c(bc)*

e) Da die Grammatik G kontextfrei ist die Sprache vom Chomsky-Typ-2. Da sich die Sprache auch als regulären Ausdruck darstellen lässt, ist die Sprache sogar Chomsky-Typ 3.

f) Ja, denn jede Chomsky-Typ2 bzw. 3 Sprache ist auch vom Chomsky-Typ0