¿Cuál de los siguientes lenguajes es recursivo enumerable pero no recursivo?
(A) {<M> | M es un TM y existe una entrada en la que M se detiene en menos de |<M>| pasos}
(B) {<M>| M es una TM y |L(M)| ≤ 3}
(C) {<M>| M es una TM y |L(M)| ≥ 3}
(D) {<M>| M es una TM que acepta todos los números pares}
Respuesta: (C)
Explicación: I. Recursivo. El número de entradas posibles es finito, y el número de pasos que M ejecuta en cada entrada es finito, por lo que se garantiza que M se detendrá y decidirá el idioma.
II. No recursivo enumerable.
tercero Recursivo Enumerable pero no recursivo.
IV. No recursivo enumerable.
La opción (C) es correcta.
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