PUERTA | CS 2022 | Pregunta 46
¿Cuál de los siguientes es/son indecidibles? (A) Dadas dos máquinas de Turing M1 y M2, decida si L(M1) = L(M2). (B) Dada una máquina de Turing M, decide si L(M) es regular. (C) Dada una máquina de Turing M, decida si M acepta todas las strings. (D) Dada una máquina de Turing M, decide si … Continue reading «PUERTA | CS 2022 | Pregunta 46»