Ensemble fini de règles déterminées servant à résoudre un problème au moyen d’un nombre fini d’opérations.