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 »