En ciencias de la computación, un algoritmo no determinista es un algoritmo que con la misma entrada ofrece muchos posibles resultados, y por tanto no ofrece una solución única. No se puede saber de antemano cuál será el resultado de la ejecución de un algoritmo no determinista.
Sin embargo, los algoritmos no deterministas emplean modelos de computación tales como la Máquina de Turing probabilística, que no son deterministas. Se considera entonces que los algoritmos no deterministas son un caso especial.
Conversión de algoritmos no deterministas en deterministas
Una forma de simular algoritmos no deterministas N mediante el empleo de otros deterministas D puede realizarse tratando los estados de N como estados de D. Esto significa que D puede trazar todas las posibilidades y trayectorias de ejecución del algoritmo N.
Conversión de algoritmos deterministas en no deterministas
El algunas ocasiones, el hecho anterior puede producirse en el sentido inverso de manera que el comportamiento de un algoritmo varie pase a encontrarse en un lugar diferente
En este caso, deben existir una serie de factores que permitan que dicho algoritmo llegue a convertirse en uno no determinista. A continuación se expondrán las causas más importantes:
El hecho de emplear un estado ajeno durante el proceso de secuenciación de datos (como puede ser la introducción de un dato por parte de un usuario, o la aparición de una nueva variable que no ha sido controlada) y por ello se considera aleatoria.
Un fallo en el ámbito ya sea del software o hardware puede producir un resultado no previsto tras la ejecución de cada una de las fases.
Una última causa puede ser que al intentar realizar ciertas operaciones, existan estados concurrentes (hecho que puede darse si se mantienen muchos procesos ejecutándose al mismo tiempo en un solo archivo).Si ocurre algo similar a lo descrito anteriormente podría originarse una salida no deseada por el usuario.