¡Más rápido que el navegador!
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 con 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 o teoría de la complejidad informática es una rama de la teoría de la computación que se centra en la clasificación de los problemas computacionales de acuerdo con 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 »
