Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Gratis
¡Más rápido que el navegador!
 

PR (complejidad)

Índice PR (complejidad)

PR Es la clase de complejidad de todas las funciones recursivas primitivas o, de forma equivalente, el conjunto de todos los lenguajes formales que pueden ser decididos por tales funciones.

7 relaciones: Conjunto recursivamente enumerable, ELEMENTARY, Función de Ackermann, Máquina de Turing, R (clase de complejidad), Recursión primitiva, Tetración.

Conjunto recursivamente enumerable

En teoría de la computabilidad, un conjunto S de números naturales se denomina computablemente enumerable (ce), recursivamente enumerable (re), semidecidible, parcialmente decidible, enumerable, demostrable o Turing-reconocible si.

¡Nuevo!!: PR (complejidad) y Conjunto recursivamente enumerable · Ver más »

ELEMENTARY

En teoría de la complejidad computacional, la clase de complejidad ELEMENTARY de las funciones recursivas elementales es la unión de las clases El nombre fue acuñado por László Kalmár, en el contexto de funciones recursivas e indecidibilidad; a pesar de su nombre, la mayoría de problemas en esta clase distan mucho de ser elementales.

¡Nuevo!!: PR (complejidad) y ELEMENTARY · Ver más »

Función de Ackermann

En teoría de la computación, una función de Ackermann es una función matemática recursiva encontrada en 1926 por Wilhelm Ackermann.

¡Nuevo!!: PR (complejidad) y Función de Ackermann · Ver más »

Máquina de Turing

Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo con una tabla de reglas.

¡Nuevo!!: PR (complejidad) y Máquina de Turing · Ver más »

R (clase de complejidad)

En complejidad computacional, R es la clase conformada por los problemas de decisión resolubles por una máquina de Turing, vale decir, el conjunto de todos los lenguajes recursivos.

¡Nuevo!!: PR (complejidad) y R (clase de complejidad) · Ver más »

Recursión primitiva

En teoría de la computabilidad, la recursión primitiva permite definir una clase de funciones que forman un importante paso en la formalización de la noción de computabilidad, la clase de funciones recursivas primitivas.

¡Nuevo!!: PR (complejidad) y Recursión primitiva · Ver más »

Tetración

En matemáticas, la tetración (o hiper-4) es el siguiente hiperoperador después de la exponenciación, y es definida como una exponenciación iterada.

¡Nuevo!!: PR (complejidad) y Tetración · Ver más »

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »