Se pueden implementar problemas decididos con una máquina de Turing determinista o funciones en el cálculo Lambda.
Los problemas de reconocimiento requieren una Universal Turing Machine UTM no determinista que pueda simular todas las máquinas Turing deterministas TM .
Teorema de la Iglesia / Turing: UTM no es decidible
- Se nos dan probabilidades [matemáticas] P (A) = P (B) = P (C) \ geq 2/3 [/ matemáticas] y sabemos que [matemáticas] P (A \ cap B \ cap C) = 0 [/ mates]. ¿Qué podemos decir sobre [matemáticas] P (A) [/ matemáticas]?
- ¿Cuál es una manera fácil de entender la física?
- Si Kurt Godel estuviera vivo hoy, ¿podría probar el problema P vs NP?
- ¿Cómo sé cuándo usar números de coma flotante de precisión simple o doble?
- ¿Qué es una mónada?
Las máquinas de Turing deterministas pasan de un estado a otro en función de los símbolos. Máquinas de Turing no deterministas sobre símbolos y probabilidades de transición.
Los algoritmos que no pueden funcionar mejor que UTM, una máquina de Turing no determinista, se conocen como NP Hard. Esto se conoce como la complejidad computacional. Si P = NP o no, es decir, si se puede encontrar o no un algoritmo de tiempo polinómico para NP, sigue siendo un problema abierto en matemáticas.
