Betrachten Sie die Grammatik mit folgenden Regeln:

{ Stat → Assign|IfStat,
Assign → var = expr,
IfStat → if Expr then Stat else Stat| if Expr then Stat,
Expr → var|num
}

Startsymbol sei »Stat«. Terminale beginnen mit einem Kleinbuchstaben oder bestehen aus einem Symbol, Nichtterminale beginnen mit einem Großbuchstaben.

Zeigen Sie an einem Beispiel mit Ableitungsbäumen, dass die Grammatik mehrdeutig ist.

Was wären Maßnahmen, um in der Praxis diese Mehrdeutigkeiten zu verhindern.