Разработка компиляторов

       

Автомат для грамматики


Для определенной нами грамматики автомат получится следующим:

где состояния определяются следующим образом:

0: {[S'.S], [S->.x], [S->.(L)]} 1: {[S->x.]} 2: {[S-> (.L)], [L->.L,S], [L->.S], [S->.(L)], [S->.x]} 3: {[S'->S.] 4: {[S-> (L.)], [L->L., S]} 5: {[S-> (L).]} 6: {[L->S.]} 7: {[L->L,.S], [S->.(L)], [S->.x]} 8: {[L->L,S.]}



Содержание раздела