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

Máquina de Turing y Problema indecidible

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

Diferencia entre Máquina de Turing y Problema indecidible

Máquina de Turing vs. Problema indecidible

Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo con una tabla de reglas. En teoría de la computabilidad y en teoría de la complejidad computacional, un problema indecidible es un problema de decisión para el cual es imposible construir un algoritmo que siempre conduzca a una respuesta de sí o no correcta.

Similitudes entre Máquina de Turing y Problema indecidible

Máquina de Turing y Problema indecidible tienen 10 cosas en común (en Unionpedia): Algoritmo, Cadena de caracteres, David Hilbert, Emil Leon Post, Entrada, Entscheidungsproblem, Lenguaje formal, Matemáticas, Problema de la parada, Teoría de la complejidad computacional.

Algoritmo

En matemáticas, lógica, ciencias de la computación y disciplinas relacionadas, un algoritmo (probablemente del latín tardío algorithmus, y este del árabe clásico ḥisābu lḡubār, que significa «cálculo mediante cifras arábigas») es un conjunto de instrucciones o reglas definidas y no-ambiguas, ordenadas y finitas que permite, típicamente, solucionar un problema, realizar un cómputo, procesar datos y llevar a cabo otras tareas o actividades.

Algoritmo y Máquina de Turing · Algoritmo y Problema indecidible · Ver más »

Cadena de caracteres

En programación, una cadena de caracteres, palabras, ristra de caracteres o frase (string, en inglés) es una secuencia ordenada (de longitud arbitraria, aunque finita) de elementos que pertenecen a un cierto lenguaje formal o alfabeto análogas a una fórmula o a una oración.

Cadena de caracteres y Máquina de Turing · Cadena de caracteres y Problema indecidible · Ver más »

David Hilbert

David Hilbert (Königsberg, Prusia Oriental; 23 de enero de 1862-Gotinga, Alemania; 14 de febrero de 1943) fue un matemático alemán, reconocido como uno de los más influyentes del y principios del XX.

David Hilbert y Máquina de Turing · David Hilbert y Problema indecidible · Ver más »

Emil Leon Post

Emil Leon Post (11 de febrero de 1897 en Augustów - 21 de abril de 1954 en Nueva York) fue un matemático estadounidense.

Emil Leon Post y Máquina de Turing · Emil Leon Post y Problema indecidible · Ver más »

Entrada

En teoría de la información, el término entrada se refiere a la entrar recibida en un mensaje, o bien al proceso de recibirla.

Entrada y Máquina de Turing · Entrada y Problema indecidible · Ver más »

Entscheidungsproblem

En ciencias de la computación y matemáticas, el Entscheidungsproblem (en español: problema de decisión) fue el reto en lógica simbólica de encontrar un algoritmo general que decidiese si una fórmula del cálculo de primer orden es un teorema.

Entscheidungsproblem y Máquina de Turing · Entscheidungsproblem y Problema indecidible · Ver más »

Lenguaje formal

En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos están formalmente especificadas.

Lenguaje formal y Máquina de Turing · Lenguaje formal y Problema indecidible · Ver más »

Matemáticas

Las matemáticas, o también la matemática, La palabra «matemáticas» no está en el Diccionario de la Real Academia Española.

Máquina de Turing y Matemáticas · Matemáticas y Problema indecidible · 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.

Máquina de Turing y Problema de la parada · Problema de la parada y Problema indecidible · 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.

Máquina de Turing y Teoría de la complejidad computacional · Problema indecidible y Teoría de la complejidad computacional · Ver más »

La lista de arriba responde a las siguientes preguntas

Comparación de Máquina de Turing y Problema indecidible

Máquina de Turing tiene 60 relaciones, mientras Problema indecidible tiene 28. Como tienen en común 10, el índice Jaccard es 11.36% = 10 / (60 + 28).

Referencias

En este artículo se encuentra la relación entre Máquina de Turing y Problema indecidible. Si desea acceder a cada artículo del que se extrajo la información visite:

¡Hey! ¡Ahora tenemos Facebook! »