10.

5 Algunas consideraciones

En el siguiente tema demostraremos que F(WHILE) = REC (y por tanto también F(WHILE) = F(MT) ) , y derivado de
ello tenemos a su vez que DEC(WHILE) = DECI y ENU(WHILE) = ENUM (y por tanto también DEC(WHILE) = DEC(MT)
y ENU(WHILE) = ENU(MT) ).
Si realizamos una tabla mostrando las denominaciones dentro de cada modelo para estos y otros conceptos comunes
tenemos:

F(MT) REC F(WHILE)

DEC(MT) DECI DEC(WHILE)
ENU(MT) ENUM ENU(WHILE)
funciones
Turing-computables TREC T-WHILE
totales
predicados PRED(TREC) PRED(T-WHILE)
Turing-decidibles
predicados PRED(REC) PRED(WHILE)
Turing-enumerables

Obsérvese que los conjuntos funciones Turing-computables totales, predicados Turing-decidibles y predicados Turing-
enumerables no fueron definidos específicamente en su momento en el tema dos debido a que no hicieron falta para definir
los conceptos de conjunto Turing-decidible y conjunto Turing-enumerable. De todas formas, por completitud, damos a
continuación aquí sus definiciones y denominaciones.
 Si ahora completamos la tabla anterior con estas nuevas definiciones tenemos:

F(MT) REC F(WHILE)

DEC(MT) DECI DEC(WHILE)
ENU(MT) ENUM ENU(WHILE)
T-MT TREC T-WHILE
PRED(T-MT) PRED(TREC) PRED(T-WHILE)
PRED(MT) PRED(REC) PRED(WHILE)

Señalar para terminar, que en este tema hemos presentado el tercer y último modelo de cómputo de los que íbamos a ver
en este texto: el lenguaje WHILE. Históricamente es el modelo más reciente de los tres que hemos visto, y aún no es el más
extendido; pero debido a lo que podríamos llamar “sus cualidades docentes” es el que usaremos en todo el capítulo
siguiente, ya que las demostraciones son mucho más cortas y legibles usando este modelo que si usamos cualquiera de los
otros dos. Además este modelo, a pesar de que al igual que las funciones recursivas no es adecuado para el estudio de la
complejidad espacial, que lo haríamos con máquinas de Turing, es el mejor de los tres para abordar el estudio de la
complejidad temporal, aunque ambos estudios quedan fuera de los propósitos de este texto.