PUERTA | GATE-CS-2017 (Conjunto 1) | Pregunta 62
Sean A y B alfabetos infinitos y sea # un símbolo fuera tanto de A como de B. Sea f un funcional total de A * a B *. Decimos que f es computable si existe una máquina giratoria M que, dada una entrada x en A * , siempre se detiene con f(x) en … Continue reading «PUERTA | GATE-CS-2017 (Conjunto 1) | Pregunta 62»