Das hängende else

naheliegende EBNF-Regel für Verzweigungen:

<statement> -> if <expression> 
    then <statement> [ else <statement> ]

führt zu einer mehrdeutigen Grammatik.

Dieser Satz hat zwei Ableitungsbäume:

if X1 then if X2 then S1 else S2

• Festlegung: das „in der Luft hängende`` (dangling) else
  gehört immer zum letzten verfügbaren then.
• Realisierung durch Grammatik mit (Hilfs-)Variablen

  <statement>, <statement-no-short-if>