Algoritmo: berrikuspenen arteko aldeak

Hasierako egoera batetik eta hasierako datu batetik ("sarrera") abiatuta (agian hutsik egongo da), instrukioek konputazio bat deskribatzen dute, eta, exekutatzen direnean, ondo definitutako ondoz-ondoko egoera-kopuru finitu baten bidez egiten da, eta, aldi berean, "irteera" sortzen da, eta amaierako egoeran amaitzen da. Egoera batetik bestera igarotzeko bideak ez du beti [[determinismo|eredu determinista]] jarraitzen, zenbait algoritmok zorizko balioak ere integratzen baitituzte.

[[Fitxategi:1983 CPA 5426 (1).png|thumb|[[Al-Khwarizmi]] ([[Sobietar Errepublika Sozialisten Batasuna|Sobiet Batasuneko]] seilua, 1983)]]

Algoritmo hitza, berez, [[IX. mendea|IX. mendeko]] matematikari [[persiar]] baten izenetik eratortzen da: [[Al-Khwarizmi]].<ref>{{Erreferentzia|izenburua=Al-Khwarizmi - The Father of Algebra|hizkuntza=en-US|url=https://www.storyofmathematics.com/islamic_alkhwarizmi.html|sartze-data=2020-04-18}}</ref> Algoritmoaren kontzeptu moderno bihurtuko zena hein batean formalizatzeko lehen urratsak, [[David Hilbert|David Hilbertek]] [[1928|1928an]] planteatutako [[Entscheidungsproblema]] (erabakitze-problema) ebazteko saiakerak egin ziren. Ondoren formalizazio berriak asmatu ziren "[[kalkulagarritasun eraginkorra]]" edo "metodo eraginkorra" definitzeko saiakera gisa. Formalizazio horien artean sartu ziren 1930eko, 1934ko eta 1935eko [[Kurt Gödel|Gödel]]–[[Jacques Herbrand|Herbrand]]–[[Stephen Cole Kleene|Kleeneren]] funtzio [[Errekurtsio|errekurtsiboak]], [[1936|1936ko]] [[Alonzo Church|Alonzo Church-en]] [[Lambda kalkulu|lambda kalkulua]], 1936ko [[Emil Post|Emil Post-en]] [[1 formulazio|1 formulazioa]], eta 1936-37 eta 1939ko [[Alan Turing|Alan Turing-en]] [[Turing makina|Turing makinak]].