Algoritmas
baigtinė seka vienareikšmiškai apibrėžtų veiksmų, kuriuos atlikę su duomenimis, gauname ieškomąjį rezultatą. Euklido algoritmas natūraliųjų skaičių a ir b didžiausiajam bendrajam dalikliui rasti sudarytas iš tokių veiksmų: 1) a padalijamas iš b ir randama liekana r(0≤r < b); 2) išsiaiškinama, ar r=0. Jeigu taip, tai algoritmas pasibaigia ir b yra ieškomasis didžiausias bendras daliklis; 3) priskiriamos reikšmės a←b, b←r ir grįžtama į pirmąjį veiksmą.