Parser LL — część 6

Prawą stronę zamieniamy na nowy symbol: nazwijmy go PlusExpr Expr number PlusExpr PlusExpr '+' Expr PlusExpr

Gdy więcej niż dwie produkcje zaczynają się od tego samego: Expr number '+' Expr Expr number '-' Expr Expr number Zamieniamy na Expr number PlusMinusExpr PlusMinusExpr '+' Expr PlusMinusExpr '-' Expr PlusMinusExpr

Gramatyka niejednoznaczna Czasami niejednoznaczna definicja gramatyki jest konieczna jak w przypadku IF..THEN..ELSE: Stat if Expr then Stat else Stat Stat if Expr then Stat

Po lewostronnej faktoryzacji: Stat if Expr then Stat ElseStat ElseStat else Stat ElseStat

Gramatyka jest niejednoznaczna dla ElseStat w przypadku napotkania symbolu else. Rozwiązujemy to przyjmując wybór zachłanny ElseStat else Stat bo w przeciwnym razie gdybyśmy wybrali mógłaby zostać część else, która nie miałaby wcześniejszego if.

Parser rekurencyjny Parsery LL można też łatwo pisać ręcznie, za pomocą zestawu wzajemnie wywołujących się funkcji.

znak następny_znak;