Leva rekurzija

Definicija

„Gramatika je levo rekurzivna ako sadrži neterminal A, takav da se iz njega može izvesti rečenična forma koja počinje tim simbolom.”

Neposredna leva rekurzija

Neposredna leva rekuzija se javlja u pravilima oblika

$A\to A\alpha |\beta$

Gde su α i β rečenične forme i β ne počinje simbolom A.

Primer : Pravilo

$Expr\to Expr+Term$

sadrži neposrednu levu rekurziju. Analizator rekurzivnim spustom bi izgledao na primer ovako :

-{function Expr() {

Expr(); match('+'); Term();

}}-

i analizator bi upao u beskonačnu rekurziju kada bi pokušao da analizira gramatiku koja sadrži ovo pravilo.

Posredna leva rekurzija

Posredna leva rekurzija u najjednostavnijem obliku mogla bi se definisati sledećim pravilima:

$A\to B\alpha |C$

$B\to A\beta |D$

Iz kojih bi se moglo dobiti izvođenje: $A\Rightarrow B\alpha \Rightarrow A\beta \alpha \Rightarrow \mathrm{...}$

Uopšteno govoreći, za neterminale $A_0,A_1,\mathrm{...},A_n$, posredna leva rekurzija može se definisati postojanjem forme:

$A_0\to A_1{\alpha }_1|\mathrm{...}$

$A_1\to A_2{\alpha }_2|\mathrm{...}$

$\mathrm{...}$

$A_n\to A_0{\alpha }_{(n+1)}|\mathrm{...}$

Gde su ${\alpha }_1,{\alpha }_2,\mathrm{...},{\alpha }_n$ rečenične forme.

Eliminacija leve rekurzije

Eliminacija neposredne leve rekurzije

Sledi algoritam uklanjanja neposredne leve rekurzije. Postignuto je nekoliko unapređenja ovog metoda, uključujući i ona opisana u članku -{"Removing Left Recursion from Context-Free Grammars"}-, koji je napisao -{Robert C. Moore.}-

Za svako pravilo oblika

$A\to A{\alpha }_1|\mathrm{...}|A{\alpha }_n|{\beta }_1|\mathrm{...}|{\beta }_m$

Gde važi:

• Neterminal A poseduje levu rekurziju
• ${\alpha }_i$ je neprazna rečenična forma (${\alpha }_i\ne ϵ$)
• ${\beta }_i$ je rečenična forma koja ne počinje simbolom A.

Zamenimo A-pravilo pravilom:

$A\to {\beta }_1{A}^{\prime }|\mathrm{...}|{\beta }_m{A}^{\prime }$

Gde je A’ novi neterminal za koji važi:

$A^{\prime }\to ϵ|{\alpha }_1{A}^{\prime }|\mathrm{...}|{\alpha }_n{A}^{\prime }$

Novodobijeni simbol se često naziva „rep” ili „ostatak”.

Eliminacija posredne leve rekurzije

Ako je gramatika svojstvena, tj. ε-slobodna (bez pravila oblika $A\to \mathrm{...}|ϵ|\mathrm{...}$) i bez jednostukih pravila (ni za jedan neterminal A ne postoji izvođenje oblika $A\Rightarrow \mathrm{...}\Rightarrow A$ ), ovo je opšti algoritam koji se može primeniti za uklanjnje posredne leve rekurzije:

Prethodno među neterminalima uspostavimo neki (bilo kakav) poredak $A_1$, ... $A_n$.

-{for i = 1 to n}- {

-{for j = 1 to i – 1}- {

• ako su $A_j$ pravila

$A_j\to {\delta }_1|\mathrm{...}|{\delta }_k$

• svako pravilo oblika $A_i\to A_j\gamma$ zamenimo sa

$A_i\to {\delta }_1\gamma |\mathrm{...}|{\delta }_k\gamma$

}

• eliminišemo neposrednu levu rekurziju za $A_i$

}

Primer

Posmatrajmo gramatiku aritmetičkih izraza:

$Expr\to Expr+Term|Term$

$Term\to Term\ast Factor|Factor$

$Factor\to (Expr)|Broj$

-{Expr}- i -{Term}- su levo rekurzivna. Uvedimo nove pomoćne simbole -{Expr’}- i -{Term’}-. Primena navedenog postupka daje sledeću gramatiku bez levo rekurzivnih pravila:

$Expr\to TermExp{r}^{\prime }$

$Exp{r}^{\prime }\to +TermExp{r}^{\prime }|ϵ$

$Term\to FactorTer{m}^{\prime }$

$Ter{m}^{\prime }\to \ast FactorTer{m}^{\prime }|ϵ$

$Factor\to (Expr)|Broj$

Види још

• Eliminacija e-pravila
• Eliminacija nekorisnih simbola
• Eliminacija jednostrukih pravila