Алгоритм. Левая факторизация

Обосновывается леммой

Вход

Контекстно-свободная грамматика

Выход

Левофакторизованная грамматика

Алгоритм

Для каждого нетерминала $A\in \Gamma$ повторять: