En las máquinas de Turing, “cada instrucción de una máquina de Turing es determinista: dado el estado interno y el símbolo que se escanea, la próxima operación inmediata se determina total y exclusivamente” (Kim 2011, p.143).
Sin embargo, la automatización probabilística no es determinista. Esto significa que
“El estado interno actual de la máquina y el símbolo que está escaneando no determinan, en cualquier caso, no siempre, juntos, de manera única, lo que la máquina hará a continuación”. (Kim 2011, p.144).
¿Qué se entiende aquí por automatización probabilística en las máquinas de Turing?
¿Significa que puede haber múltiples formas en que un autómata probabilístico puede resolver un problema complejo? ¿Que no se puede determinar cómo resolverán el problema los autómatas, sino que sólo se puede calcular la probabilidad del método de los autómatas para llegar al resultado?
Kim, J. (2011) Filosofía de la mente [recurso electrónico] / Jaegwon Kim. 3ra ed. Boulder, Colorado: Boulder, Colorado: Westview Press.
Ver máquina de Turing probabilística :
es una máquina de Turing no determinista que elige entre las transiciones disponibles en cada punto según alguna distribución de probabilidad.
Como consecuencia, una máquina de Turing probabilística puede (a diferencia de una máquina de Turing determinista) tener resultados estocásticos; en una máquina de estado de entrada e instrucción dada, puede tener diferentes tiempos de ejecución, o puede no detenerse en absoluto; además, puede aceptar una entrada en una ejecución y rechazar la misma entrada en otra ejecución.
Por otro lado, una máquina de Turing puede ejecutar un programa del que no podemos determinar su "comportamiento", no porque no sea determinista, sino porque lo encontramos extremadamente difícil de entender, ya sea porque es complejo, pero también porque no entendimos las implicaciones del programa. cuando lo programamos.
Conifold