Рубрики

ВОРОТА | GATE-CS-2016 (набор 2) | Вопрос 28

Рассмотрим следующие типы языков:

L1 Regular,
L2: Context-free,
L3: Recursive,
L4: Recursively enumerable. 

Что из следующего является / является ИСТИННЫМ?

I.   L3' U L4 is recursively enumerable
II.  L2  U L3 is recursive
III. L1* U L2 is context-free
IV.  L1 U L2' is context-free 

(А) Я только

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

ВОРОТА | GATE-CS-2016 (набор 2) | Вопрос 28

0.00 (0%) 0 votes