Edición de «Recuperatorio de computabilidad Verano 2018 (DC)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 123: | Línea 123: | ||
=== Notas === | === Notas === | ||
[1] | [1] Identidad no es, aunque es claramente un subconjunto. Que no es exactamente <math>\mathcal{K}</math> se ve facil. Agarramos cualquier programa que nos devuelva <math>g(x)</math> y le agregamos instrucciones que no hacen nada. Esa 'transformación' saca al programa de la imagen de 'g' pero sigue estando en <math>\mathcal{K}</math>. | ||
Sin embargo esta 'transformación' no es la única, no podriamos obtener todos los programas de <math>\mathcal{K}</math>. Pueden divertirse un rato pensado transformaciones, yo no llegué a nada. | |||
== Ejercicio 3 == | == Ejercicio 3 == |