from 再帰下降構文解析

同じ非終端記号に対する生成規則が同じシンボルから始まる

S→if E then S else E

S→if E then S

これを左括り出しすると以下のようになる

S→if E then S X

X →

X → else S