Un algorithme consiste en la description d'une suite d'opérations élémentaires non ambiguës. Il s'achève après un nombre fini d'étapes et produit un résultat. Dans la plupart des cas, un algorithme requiert des données, dont la taille est nécessairement finie. Connue depuis l'Antiquité, la notion d'algorithme a été formellement étudiée à partir du XXe siècle, et l' ordinateur en a décuplé l'étude.