PUERTA | GATE-CS-2014-(Conjunto-2) | Pregunta 26
Sea A ≤ m B denota que el lenguaje A está mapeando reducible (también conocido como reducible de muchos a uno) al lenguaje B. ¿Cuál de los siguientes es FALSO? (A) Si A ≤ m B y B es recursivo, entonces A es recursivo. (B) Si A ≤ m B y A es indecidible, entonces … Continue reading «PUERTA | GATE-CS-2014-(Conjunto-2) | Pregunta 26»