Это отличный вопрос, на который я отвечаю: да. Это выглядит как
проблема с двойной звездой (# 4.21) в четвертой главе «Хопкрофт и Ульман»
текст по вычислимости и формальным языкам. Ответ (обобщенное доказательство
по конструкции) также предоставляется.
Очень кратко, он предполагает предварительное преобразование в сокращенный GNF, из которого окончательный
Строительство выполняется для удаления смежных нетерминалов. Не самый
эффективная конструкция, но она работает (если вы можете следовать аналогичному режиму
для преобразования в CNF и GNF ранее).
Надеюсь, это поможет!