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

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.

8 relaciones: Clase de complejidad, Función computable, Lenguaje recursivo, Máquina de Turing, Problema de decisión, RE (clase de complejidad), Teoría de la complejidad computacional, Tesis de Church-Turing.

Clase de complejidad

En teoría de la complejidad computacional, una clase de complejidad es un conjunto de problemas de decisión de complejidad relacionada.

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

Función computable

Las funciones computables son el objeto básico de estudio de la teoría de la computabilidad y son, específicamente, las funciones que pueden ser calculadas por una máquina de Turing.

¡Nuevo!!: R (clase de complejidad) y Función computable · Ver más »

Lenguaje recursivo

En matemáticas, lógica y ciencias de la computación, un lenguaje formal (un conjunto de secuencias finitas de símbolos tomados de un alfabeto fijo) es llamado lenguaje recursivo si es un subconjunto recursivo del conjunto de todas las secuencias finitas posibles sobre el alfabeto del lenguaje.

¡Nuevo!!: R (clase de complejidad) y Lenguaje recursivo · 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 a una tabla de reglas.

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

Problema de decisión

En teoría de la computación, un problema es un conjunto de frases de longitud finita que tienen asociadas frases resultantes también de longitud finita.

¡Nuevo!!: R (clase de complejidad) y Problema de decisión · Ver más »

RE (clase de complejidad)

En complejidad computacional, RE (abreviación de recursivamente enumerable) es la clase de complejidad conformada por aquellos problemas de decisión para los cuales una respuesta "sí" puede ser verificada por una máquina de Turing en una cantidad de tiempo finito.

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

Teoría de la complejidad computacional

La Teoría de la Complejidad Computacional es una rama de la teoría de la computación que se centra en la clasificación de los problemas computacionales de acuerdo a su dificultad inherente, y en la relación entre dichas clases de complejidad.

¡Nuevo!!: R (clase de complejidad) y Teoría de la complejidad computacional · Ver más »

Tesis de Church-Turing

En teoría de la computabilidad, la tesis de Church-Turing formula hipotéticamente la equivalencia entre los conceptos de función computable y máquina de Turing, que expresado en lenguaje corriente vendría a ser "todo algoritmo es equivalente a una máquina de Turing".

¡Nuevo!!: R (clase de complejidad) y Tesis de Church-Turing · Ver más »

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »