(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 à une precision.~(2) donnée toute séquence d'opérations pour effectuer une tâche particulière.