Рубрики

ВОРОТА | GATE CS 2010 | Вопрос 65

Пусть L1 рекурсивный язык. Пусть L2 и L3 будут рекурсивно перечислимыми, но не рекурсивными языками. Какое из следующих утверждений не обязательно верно?
(A) L2 — L1 рекурсивно перечислимо.
(B) L1 — L3 рекурсивно перечислимо
(C) L2 ∩ L1 рекурсивно перечислимо
(D) L2 ∪ L1 рекурсивно перечислимо
(А) А
(Б) Б
(С) С
(D) D

Ответ: (Б)
Объяснение:

A) Always True
(Recursively enumerable - Recursive ) is 
Recursively enumerable

B) Not always true
L1 - L3 = L1 intersection ( Complement L3 )
L1 is recursive , L3 is recursively enumerable 
but not recursive Recursively enumerable languages
are NOT closed under complement.

C) and D) Always true Recursively enumerable languages 
are closed under intersection and union. 

Тест на этот вопрос

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

ВОРОТА | GATE CS 2010 | Вопрос 65

0.00 (0%) 0 votes