Разбор SLR конфликтует с производством epsilon

Рассмотрим следующую грамматику

S -> aPbSQ | a

Q -> tS | ε

P -> r

При построении DFA мы видим, что должно быть состояние, содержащее элементы

Q -> .tS

Q -> .  (epsilon as a blank string)

поскольку t следует за (Q), кажется, что есть сдвиг - уменьшить конфликт.

Можем ли мы заключить, что природа грамматики не SLR(1)?


parsing grammar lr
person Shubham Singh rawat    schedule 02.12.2016    source источник

Ответы (1)


arrow_upward
0
arrow_downward

(Пожалуйста, игнорируйте мой неправильный предыдущий ответ.)

Да, того факта, что у вас есть конфликт сдвига/уменьшения в этом наборе настроек, достаточно, чтобы показать, что эта грамматика не является SLR(1).

person templatetypedef    schedule 11.12.2016