M. Sperber, H. Klaeren Wintersemester 1998/99

Compilerbau I

Blatt 5

Abgabe: 24.11.1998

1. [5 Punkte] Implementieren Sie Attributauswertung für den Parser mit rekursivem Aufstieg -- wenn möglich in einem Parser, der auch Fehlerbehandlung vornimmt.
2. [5 Punkte] Die in der Vorlesung angegebene Grammatik für Mini-Caml ist mehrdeutig -- es gibt z.B. mehrere Syntaxbäume für den Ausdruck 1 + 1 + 1. Geben Sie -- gemäß der Angaben über Präzedenz und Assoziativität im Caml-Handbuch -- eine äquivalente eindeutige Grammatik an.
3. [20 Punkte] Implementieren Sie einen Parser für Mini-Caml, der abstrakte Syntax wie in der Vorlesung beschrieben erzeugt. Benutzen Sie (vorzugsweise) Ihren eigenen Scanner und Parser oder den Scanner in der Struktur Camllex und den Parser aus der Struktur Lr.

\: \| `=13

 ¯   ¯  exp   \:   literal  
		 \|   ident  
		 \| (   operator-name   )
		 \| (   exp   )
		 \|   exp     exp  
		 \|   prefix-symbol     exp  
		 \|   exp     infix-symbol     exp   
		 \| if   exp   then   exp   else   exp  
		 \|   exp   or   exp  
		 \|   exp   &   exp  
		 \|   exp   ;   exp  
		 \| function   ident   ->   exp  
		 \| raise   exp  
		 \| try   exp   with   ident   ->   exp  
		 \| let rec     let-binding     more-bindings   in   exp  
		 \| [   sequence   ]
  literal   \: ( ) \|   integer-literal   \|   character-literal   \|   string-literal  
  operator-name   \:   infix-symbol   \|   prefix-symbol  
  sequence   \:   empty   \|   exp     sequence-rest  
  sequence-rest   \: ;   exp  
  let-binding   \:   ident     =   exp  
  more-bindings   \: and   let-binding  
  definition   \: let rec     let-binding     more-bindings  
  program   \:   definition  

type 'ident syntax =
    Nil
  | Int of int
  | String of string
  | Char of char
  | Ident of 'ident
  | Builtin of 'ident
  | Apply of 'ident syntax * 'ident syntax
  | If of 'ident syntax * 'ident syntax * 'ident syntax
  | Sequence of 'ident syntax * 'ident syntax
  | Function of 'ident * 'ident syntax
  | Raise of 'ident syntax
  | Try of 'ident syntax * 'ident * 'ident syntax
  | Let of 'ident binding * 'ident syntax
  | Letrec of 'ident binding list * 'ident syntax
and 'ident binding = 'ident * 'ident syntax

type 'ident definition = 'ident binding list

type 'ident program = 'ident definition list

• Über dieses Dokument ...