Finitud
La ejecución de un algoritmo ha de terminar después de un número finito de etapas.
Precisión
Cada etapa debe estar especificado rigurosamente, la ejecución de un algoritmo no ha de dejar espacios para la interpretación, la intuición y la creatividad.