Links-Rekursion

Ausdruck = Name oder Literal 
   oder Zeichen "(" ; Ausdruck ; Zeichen ")"
   oder Ausdruck Operator Ausdruck

Def: eine Variable A in CFG G heißt links-rekursiv, falls $ \exists$w $ \in$ (V $ \cup$ $ \Sigma$)* : A$ \to_{R}^{+}$Aw.

Aufgabe: Wie kann man entscheiden, ob gegebenes G links-rekursiv ist?



Johannes Waldmann 2006-02-02