Finitud
Si se sigue el algoritmo dos o más veces con los mismos datos de entrada, se deben obtener los mismos datos de salida.
El algoritmo debe terminar en algún momento y debe usar una cantidad de recursos finita.
El algoritmo debe indicar el orden exacto de ejecución de cada tarea.
Determinismo
Precisión