En la teoría estándar de la computación la definición de algoritmo deja en claro que de por sí un algoritmo es determinista.