Объяснение факторинга от LALR(k) до LALR(1) и/или примеры

Согласно этому сообщению рекурсивного спуска по сравнению с LALR, любой LALR (k) может быть преобразован в LALR (1) с помощью «факторинга». У меня нет Книги Дракона, упомянутой в посте, есть ли какие-то объяснения или примеры где-нибудь в Интернете, или может ли кто-нибудь предоставить их здесь, как сделать этот факторинг?


person mentics    schedule 20.01.2012    source источник


Ответы (1)


Книга Дракона только упоминает эту теорему и утверждает, что она доказана. Никаких дополнительных подробностей он не сообщает. Суть утверждения в том, что синтаксический анализатор LR(k) не лучше, чем LR(1). Вот почему синтаксические анализаторы LR(1) используются повсеместно.

Какова была ваша цель в первую очередь? У вас уже есть LR(k) грамматика?

person Kirill Kobelev    schedule 16.06.2012