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

Question

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

Answer 1

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

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