Problemas algorítmicos en las matemáticas II
Mots-clés :
Máquinas de turing, funciones recursivas, función de Ackerman (es)Téléchargements
2. Las máquinas de Turing
Por lo tanto, en lugar de considerar algoritmos para determinar si una relación entre números naturales tiene lugar, podernos considerar algoritmos para calcular efectivamente los valores de una función aritmética, Es, pues, necesario precisar el concepto de función efectivamente calculable. Es esto lo que efectúa TURING: da un concepto preciso de máquina y define una función aritmética f como efectivamente calculable si existe una tal máquina para calcular el valor de f para cada argumentoLas máquinas de Turing / Funciones recursivas
Comment citer
APA
ACM
ACS
ABNT
Chicago
Harvard
IEEE
MLA
Turabian
Vancouver
Télécharger la référence
Consultations de la page du résumé de l'article
Téléchargements
Licence
© Revista Colombiana de Matemáticas 1964
Cette œuvre est sous licence Creative Commons Attribution 4.0 International.