297
правок
Изменения
→Замечание о попролненной грамматике
<tex>
(0)\ S' \to S \\(1)\ S \to Sa \\(2)\ S \to a \\
</tex>
Если игнорировать <tex>0</tex>-е правило, то, не заглядывая в правый контекст основы <tex>Sa</tex>, можно сказать, что она должна сворачиваться в <tex>S</tex>. Аналогично основа <tex>a</tex> безусловно должна сворачиваться в <tex>S</tex>. Создается впечатление, что данная грамматика без <tex>0</tex>-го правила есть LR(0)-грамматика. С учетом же <tex>0</tex>-го правила, после свертки в <tex>S</tex>, просматривая <tex>k=0</tex> символов, нельзя определить, делать ли свертку в <tex>S'</tex>, следовательно это не LR(0)-грамматика. Получили противоречие.
--------- TODO тут надо либо дать более формальное объяснение, либо объяснить почему k не должно меняться от пополнения грамматики.
----------------
== LR-разборщик ==
