CGU-NET | UGC NET CS 2015 junio – III | Pregunta 62

Dadas las siguientes dos afirmaciones:
S 1 :Si L 1 y L 2 son lenguajes recursivamente enumerables sobre ∑, entonces L 1 ∪ L 2 y L 2 ∩ L 2 también son recursivamente enumerables.
S 2 : El conjunto de lenguajes recursivamente enumerables es contable.
Cual de los siguientes es correcto ?
(A) S 1 es correcto y S 2 no es correcto
(B) S 1 no es correcto y S 2 es correcto
(C) Tanto S 1 como S 1no son correctos
(D) Tanto S 1 como S 1 son correctos.

Respuesta: (D)
Explicación: la unión y la intersección están cerradas bajo lenguaje enumerable recursivo y el conjunto de lenguajes enumerables recursivamente es contable .

Entonces, ambas afirmaciones son correctas.
Cuestionario de esta pregunta

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

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *