zhilyaev / lr-1 Goto Github PK

Программная реализация LR(1) - разбора

<A> - аксиома
<A>::= <B>|<D>
<B>::= <B><C><C>|a      
<C>::= ba      
<D>::= <C>a<D>|b 

1. A::=₁B₂
2. A::= ₁D₃
3. B::= ₁a₄Z₅
4. Z::= _4,9b₆a₇b₈a₉Z₁₀
5. Z::= _4,9Λ_4,9
6. D::= _1,14b₁₁X₁₂
7. X::= ₁₁a₁₃a₁₄D₁₅
8. X::= ₁₁Λ₁₁

Λ - означает пустую строку

Правило "С" было удаленно, так как содержало только терминальные символы. Поэтому везде где был вызов "С", были поставленны терминальные символы.

Рекомендуется сначала ознакомится с LL(1) интерпертацией данной грамматики здесь