El conjunto de todos los lenguajes recursivamente enumerables es
(A) cerrado bajo complementación.
(B) cerrado bajo la intersección.
(C) un subconjunto del conjunto de todos los lenguajes recursivos.
(D) un conjunto incontable.
Respuesta: (B)
Explicación: El Lenguaje Enumerable Recursivo está cerrado bajo Unión, Intersección, Concatenación y Cierre Kleene (pero no Complementación).
Entonces, podemos descartar fácilmente la opción (A) y la opción (B) se vuelve VERDADERA.
El lenguaje recursivo es un subconjunto de REL, pero la opción (C) dice lo contrario, por lo que la opción (C) es FALSA.
REL son contables, ya que el conjunto de todas las máquinas de Turing son contables. Entonces la opción (D) también es FALSA.
Solo la Opción (B) es CORRECTA .
Publicación traducida automáticamente
Artículo escrito por GeeksforGeeks-1 y traducido por Barcelona Geeks. The original can be accessed here. Licence: CCBY-SA