Diferencia entre revisiones de «Algoritmo»

{{AP|Máquina de Turing}}

La máquina de Turing es un modelo matemático, diseñado por [[Alan Turing]], que formaliza el concepto de algoritmo. A este modelo se le refiere comúnmente como la "descripción de más bajo nivel" por el hecho de que no utiliza ninguna expresión coloquial.

 

=== Implementación ===

 

== Algoritmos y funciones ==

Formalmente, un algoritmo calcula a una función. Como cualquier conjunto finito es numerable, y cualquier conjunto numerable no finito se puede expresar en términos del conjunto de los números naturales, en esencia, todo algoritmo calcula a funciones definidas en los numeros naturales. En este punto, una función está parcial o totalmente definida. Una función es parcial cuando hay números naturales que no pertenecen a su dominio (es decir, hay números naturales sobre los que no está definida la función), y una función es total en caso contrario.