Изменения

Перейти к: навигация, поиск

LR(k)-грамматики

427 байт убрано, 12:01, 3 сентября 2015
Замечание о пополненной грамматике
</tex>
Если игнорировать <tex>0</tex>-е правило, то, не заглядывая в правый контекст основы <tex>Ea</tex>, можно сказать, что она должна сворачиваться в <tex>E</tex>. Аналогично основа <tex>a</tex> безусловно должна сворачиваться в <tex>E</tex>. Создается впечатление, что данная грамматика без <tex>0</tex>-го правила есть LR(0)-грамматика. С учетом же <tex>0</tex>-го правилаНо на самом деле это не так, после свертки в <tex>E</tex>, просматривая <tex>k=этом можно убедиться рассмотрев процесс [[LR(0</tex> символов, нельзя определить, делать ли свертку в <tex>E_0</tex>, следовательно это не )-разбор|LR(0)-грамматика. Получили противоречие.--------- TODO тут надо либо дать более формальное объяснение, либо объяснить почему k не должно меняться от пополнения грамматикиразбора]]. ----------------
== LR-разборщик ==
297
правок

Навигация