El documento define un algoritmo como una lista de instrucciones finitas que convierten datos de entrada en una solución de salida de forma secuencial paso a paso. Cada paso de un algoritmo se puede describir de forma abstracta e independiente de su implementación, y la transición entre pasos está completamente determinada. Un algoritmo opera sobre cantidades limitadas de datos en cada paso.