Considere las siguientes declaraciones ( ):
S 1 : No existe ningún algoritmo para decidir si dos máquinas de Turing M 1 y M 2 aceptan el mismo lenguaje.
S 2 : El problema de determinar si una máquina de Turing se detiene en cualquier entrada es indecidible.
¿Cuál de las siguientes opciones es la correcta?
(A) Tanto S 1 como S 2 son correctos
(B) Tanto S 1 como S 2 no son correctos
(C) Solo S 1 es correcto
(D) Solo S 2 es correcto
Respuesta: (A)
Explicación:
Entonces, la opción (A) 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