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

Problema de decisión y RE (clase de complejidad)

Accesos rápidos: Diferencias, Similitudes, Coeficiente de Similitud Jaccard, Referencias.

Diferencia entre Problema de decisión y RE (clase de complejidad)

Problema de decisión vs. RE (clase de complejidad)

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. 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.

Similitudes entre Problema de decisión y RE (clase de complejidad)

Problema de decisión y RE (clase de complejidad) tienen 5 cosas en común (en Unionpedia): Conjunto recursivamente enumerable, Función recursiva, Máquina de Turing, Problema de la parada, Teoría de la complejidad computacional.

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.

Conjunto recursivamente enumerable y Problema de decisión · Conjunto recursivamente enumerable y RE (clase de complejidad) · Ver más »

Función recursiva

En lógica matemática y computación, las funciones recursivas o también conocidas como funciones recursivas-μ son una clase de funciones de los números naturales en los números naturales que son «computables» en un sentido intuitivo.

Función recursiva y Problema de decisión · Función recursiva y RE (clase de complejidad) · 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.

Máquina de Turing y Problema de decisión · Máquina de Turing y RE (clase de complejidad) · Ver más »

Problema de la parada

El problema de la parada o problema de la detención para máquinas de Turing consiste en lo siguiente: dada una Máquina de Turing M y una palabra w, determinar si M terminará en un número finito de pasos cuando es ejecutada usando w como dato de entrada.

Problema de decisión y Problema de la parada · Problema de la parada 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.

Problema de decisión y Teoría de la complejidad computacional · RE (clase de complejidad) y Teoría de la complejidad computacional · Ver más »

La lista de arriba responde a las siguientes preguntas

Comparación de Problema de decisión y RE (clase de complejidad)

Problema de decisión tiene 21 relaciones, mientras RE (clase de complejidad) tiene 11. Como tienen en común 5, el índice Jaccard es 15.62% = 5 / (21 + 11).

Referencias

En este artículo se encuentra la relación entre Problema de decisión y RE (clase de complejidad). Si desea acceder a cada artículo del que se extrajo la información visite:

¡Hey! ¡Ahora tenemos Facebook! »