non-deterministic

Empecé a desarrollar software para sistemas en tiempo real hace unos meses en C para aplicaciones espaciales, y también para ... que ejecutar el mismo programa varias veces podría tener diferentes subprocesos que se ejecutan en orden diferente cada vez.

Recientemente cambié de Python 2.7 a Python 3.3, y parece que mientras en Python 2 el orden de las claves del diccionario era ... 0)}.keys()) Consistent consistente entre corridas, siempre dando ['3', '2', '1', '0', '7', '6', '5', '4', '9', '8'] … ?

No entiendo el concepto de Máquina de Turing no Determinista. Supongo que entiendo el término Algoritmo no determinista : ... Qué significa eso ? ..Más de una acción para una determinada institución...múltiples estados... simplemente no entiendo esto.

Sé que en Prolog puedes hacer algo como someFunction(List) :- someOtherFunction(X, List) doSomethingWith(X) % a ... i-threading en un lenguaje con variables inmutables, pero nunca he visto esto antes- ¿Por qué esta técnica no es más popular?