Dangling else

Id: else.tex,v 1.1 2004/12/14 12:36:40 waldmann Exp

In vielen Programmiersprachen ist definiert:

Anweisung -> ... 
   |  if Ausdruck then Anweisung
   |  if Ausdruck then Anweisung else Anweisung
Modell: {S$ \to$e| tS| tSeS}.

Diese Regelmenge führt zu einer mehrdeutigen Grammatik.

Aufgabe: finden Sie eine eindeutige Grammatik mit den ,,richtigen `` Ableitungsbäumen.



Johannes Waldmann 2006-02-02