Рубрики

ВОРОТА | GATE-CS-2004 | Вопрос 89

L1 — рекурсивно перечислимый язык над Σ. Алгоритм A эффективно перечисляет свои слова как w1, w2, w3,… Определите другой язык L2 над Σ Union {#} как {wi # wj: wi, wj ∈ L1, i <j}. Здесь # это новый символ. Рассмотрим следующие утверждения.

S1 :  L1 is recursive implies L2 is recursive
S2 : L2 is recursive implies L1 is recursive 

Какие из следующих утверждений верно ?
(A) S1 и S2 верны
(B) S1 верно, но S2 не обязательно верно
(C) S2 верно, но S1 не обязательно верно
(D) Ни то, ни другое не обязательно верно

Ответ: (А)
Объяснение:
Тест на этот вопрос

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

ВОРОТА | GATE-CS-2004 | Вопрос 89

0.00 (0%) 0 votes