Edición de «Práctica 3 (LyC Verano)»
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 639: | Línea 639: | ||
Quiero ver que A no es computable por Rice. Para esto tengo que probar que: | Quiero ver que A no es computable por Rice. Para esto tengo que probar que: | ||
1. <math> | 1. A != <math>\emptyset</math> | ||
A representa el conjunto de los programas que computan el programa 0 (aquel que devuelve 0 para toda entrada). | A representa el conjunto de los programas que computan el programa 0 (aquel que devuelve 0 para toda entrada). | ||
Línea 653: | Línea 653: | ||
n(x) = 0 | n(x) = 0 | ||
Entonces, <math> | Entonces, A != <math>\emptyset</math> | ||
2. | 2. A != N | ||
Ejemplo: | Ejemplo: | ||
Línea 664: | Línea 664: | ||
Además, puede verse que hay programas que no están en A | Además, puede verse que hay programas que no están en A | ||
Entonces, | Entonces, A != N | ||
3. A es un conjunto de índices | 3. A es un conjunto de índices |