Я узнал об устранении NULL-производств в cfg для конечной цели достижения нормальной формы Хомского, и когда я решал вопросы об устранении NULL-производств, сформировался сценарий
Если у нас есть такое производство, как
A->ab|NULL
B->aB|A
B также обнуляется и подвергается тому же процессу ... Здесь, когда мы исключаем A-> NULL, A остается в RHS B, который затем может быть удален путем замены его на ab черезсокращение производства в единицах.
Если у нас будет случай, подобный
A->NULL
B->aB|A
Будем ли мы удалять RHS A здесь, в B, или оставить его там, нет смысла сохранять его.