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é el mateix problema. Una solució seria per exemple posar un temps màxim d'execució a les màquines de Turing.
Observació. Podriem millorar l'algorisme de manera que per a cada llista de entrades e la màquina de Turing generàs una llista de sortides o i po també fos una llista de sortides i d'aquí trobàs la llista de dms.
Observació. La recerca d'aquests algorismes de la llista l_dm ja ha estat investigada desde fa molt d'anys en el que s'anomena aprenentatge inductiu en la intel.ligència artificial. Es sol tenir una taula d'exemples classificats en classes. La taula es pot codificar com a e de la màquina de Turing i les classes com a po. Hi ha algorismes per trobar arbres de decissió per classificar e i obtenir po. Tots aquests algorismes que s'obtenen per classificar, de vegades s'obtenen estructures algebraiques a les quals s'aplica un algorisme que classifica, no són més que subconjunts de la llista l_dm.
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é el mateix problema. Una solució seria per exemple posar un temps màxim d'execució a les màquines de Turing.
Observació. Podriem millorar l'algorisme de manera que per a cada llista de entrades e la màquina de Turing generàs una llista de sortides o i po també fos una llista de sortides i d'aquí trobàs la llista de dms.
Observació. La recerca d'aquests algorismes de la llista l_dm ja ha estat investigada desde fa molt d'anys en el que s'anomena aprenentatge inductiu en la intel.ligència artificial. Es sol tenir una taula d'exemples classificats en classes. La taula es pot codificar com a e de la màquina de Turing i les classes com a po. Hi ha algorismes per trobar arbres de decissió per classificar e i obtenir po. Tots aquests algorismes que s'obtenen per classificar, de vegades s'obtenen estructures algebraiques a les quals s'aplica un algorisme que classifica, no són més que subconjunts de la llista l_dm.
Comentaris
Publica un comentari a l'entrada