Рубрики

ВОРОТА | GATE-CS-2014- (Set-3) | Вопрос 45

Какая из следующих проблем неразрешима?
(A) Решение, является ли данная грамматика без контекста неоднозначной.
(B) Решение о том, генерируется ли данная строка заданной контекстно-свободной грамматикой.
(C) Решение, является ли язык, генерируемый данной контекстно-свободной грамматикой, пустым.
(D) Решение о том, конечен ли язык, генерируемый данной контекстно-свободной грамматикой.

Ответ: (А)
Пояснение: контекстно-свободная грамматика не закрыта из-за неоднозначности . Множество закрыто под операцией, значит, когда мы оперируем элементом этого множества с этим оператором, мы получаем элемент из этого множества.
Здесь контекстно-свободная грамматика генерирует контекстно-свободный язык, и набор всех контекстно-свободных языков также является набором. Но, двусмысленность не является операцией, и, следовательно, мы никогда не можем сказать, что CFG закрыт под двусмысленностью.

Таким образом, проблема, упомянутая в варианте (A), неразрешима.

Пожалуйста, прокомментируйте ниже, если вы найдете что-то не так в вышеуказанном посте.
Тест на этот вопрос

Рекомендуемые посты:

ВОРОТА | GATE-CS-2014- (Set-3) | Вопрос 45

0.00 (0%) 0 votes