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 50: | Línea 50: | ||
Sea '''e''' el número del programa que computa la función '''g''', sea '''P''' el programa: | Sea '''e''' el número del programa que computa la función '''g''', sea '''P''' el programa: | ||
<math>\text{A:} \quad | <math>\text{A:} \quad Z_1 \leftarrow \phi_{e}(Z_2) | ||
\\ | \\ | ||
\quad\quad | \quad \quad Z_2 \leftarrow Z_2 + 1 | ||
\\ | \\ | ||
\quad\quad \text{ IF } Z_1 \leq X_1 \text{ GOTO A // buscamos un programa más grande que x1} | \quad \quad \text{ IF } Z_1 \leq X_1 \text{ GOTO A // buscamos un programa más grande que x1} | ||
\\ | \\ | ||
\text{C:}\quad \text{IF STP}(X_1, X_1, Z_2) = 1 \text{ GOTO T} | \text{C:}\quad \text{IF STP}(X_1, X_1, Z_2) = 1 \text{ GOTO T} |