Давайте рассмотрим две не зависящие от контекста грамматики и G 2 и зададим следующий вопрос: Являются ли L ( G 1 ) = L ( G 2 ) , то есть эквивалентны ли эти две грамматики?
В общем, эта проблема неразрешима. Однако, если и и G 2 являются леволинейными (или праволинейными) грамматиками, то проблема разрешима, поскольку обе грамматики описывают обычные языки.
Мой вопрос заключается в том, разрешима ли одна и та же проблема, когда обе грамматики линейны. Кроме того, если кто-то может указать на соответствующую литературу, это будет высоко оценено!
Ответы:
Цитата из Амирама Иегудаи «Разрешимость эквивалентности для семейства линейных грамматик , информация и управление», 47, 122–136 (1980) , стр. 1:
источник