(1) Un ensemble fini de règles bien définies pour la solution d'un problème en un nombre fini d'étapes ; par exemple, une spécification complète d'une séquence d'opérations arithmétiques pour évaluer les sinus x à un precision.~(2) donné toute séquence d'opérations pour effectuer une tâche particulière.