1234
Páginas: 3 (577 palabras)
Publicado: 25 de noviembre de 2012
Funciones computables
Las funciones computables son las que se calculan por programas-while . Si P es un programa-while y [pic]es la lista de variables en P entonces consideraremos a las primerasvariables como variables de entrada y a las últimas como de salida, de manera sólo un poco más precisa, para [pic]consideraremos
[pic]
El programa P calcula, o computa, a la función
[pic]
donde[pic]
En este caso definimos,
[pic]
En adelante omitiremos los subíndices n,m y k.
[pic]es computable si existe un programa-while tal que f=fP.Función computable
De Wikipedia, la enciclopedia libre
Saltar a navegación, búsqueda
Las funciones computables son el objeto básico de estudio de la teoría de la computabilidad y consisten en lasfunciones que pueden ser calculadas por una máquina de Turing.
|Contenido |
|[ocultar] |
|1 Introducción |
|2 Definición|
|3 Comentarios |
|4 Ejemplos |
|5 Propiedades |
[pic]Introducción [editar]
Las funciones computables son una formalización dela noción intuitiva de algoritmo y según la Tesis de Church-Turing son exactamente las funciones que pueden ser calculadas con una máquina de cálculo. La noción de la computabilidad de una funciónpuede ser relativizada a un conjunto arbitrario de números naturales A, o equivalentamente a una función arbitraria f de los naturales a los naturales, por medio de máquinas de Turing extendidas por unoracle por A o f. Tales funciones puede ser llamados A-computable o f-computable respectivamente. Antes la definición preciso de una función computable los matemáticos usaban el término informalefectivamente computable.
Las funciones computables son usadas para discutir computabilidad sin referirse a ningún modelo de computación concreto, como máquina de Turing o máquina de registros. Los...
Las funciones computables son las que se calculan por programas-while . Si P es un programa-while y [pic]es la lista de variables en P entonces consideraremos a las primerasvariables como variables de entrada y a las últimas como de salida, de manera sólo un poco más precisa, para [pic]consideraremos
[pic]
El programa P calcula, o computa, a la función
[pic]
donde[pic]
En este caso definimos,
[pic]
En adelante omitiremos los subíndices n,m y k.
[pic]es computable si existe un programa-while tal que f=fP.Función computable
De Wikipedia, la enciclopedia libre
Saltar a navegación, búsqueda
Las funciones computables son el objeto básico de estudio de la teoría de la computabilidad y consisten en lasfunciones que pueden ser calculadas por una máquina de Turing.
|Contenido |
|[ocultar] |
|1 Introducción |
|2 Definición|
|3 Comentarios |
|4 Ejemplos |
|5 Propiedades |
[pic]Introducción [editar]
Las funciones computables son una formalización dela noción intuitiva de algoritmo y según la Tesis de Church-Turing son exactamente las funciones que pueden ser calculadas con una máquina de cálculo. La noción de la computabilidad de una funciónpuede ser relativizada a un conjunto arbitrario de números naturales A, o equivalentamente a una función arbitraria f de los naturales a los naturales, por medio de máquinas de Turing extendidas por unoracle por A o f. Tales funciones puede ser llamados A-computable o f-computable respectivamente. Antes la definición preciso de una función computable los matemáticos usaban el término informalefectivamente computable.
Las funciones computables son usadas para discutir computabilidad sin referirse a ningún modelo de computación concreto, como máquina de Turing o máquina de registros. Los...
Leer documento completo
Regístrate para leer el documento completo.