Trobant algorismes a partir d'un algorisme senzill.
Suposem que tenim una màquina de turing T. T(e,m)=o. Donada una entrada e i un algorisme m treu una sortida o. Suposem que coneixem a Déu o en el seu defecte una persona molt llesta que ens diu T(e,dm)=po on po és la sortida perfecte i dm és l'algorisme diví que genera po. Com obtenir un llista de tots els dms que generen po? Un subnormal com jo ha trobat el següent algorisme senzill. Algorisme Obtenir_llista_dms(l_dm llista) Inici i=0; Mentres (i menor Max) fer o1=T(n,i); Si (o1 igual po) llavors Afegeix i a l_dm; fsi; incrementar i amb 1: fmentres; fi. Nota. Max tendrà un valor o un altre segons la màquina. Sempre es posarà el valor màxim que es pugui posar. Això pot servir de fonaments en la investigació d'algorismes per crear algorismes. Observació. No sabem decidir a priori si una màquina de turing s'aturarà o no. Per lo tant aquest algorisme senzill té