L’algorithmique des  a pour fondement mathématique des formalismes, par exemple celui des machines de Turing, qui permettent de définir précisément ce qu'on entend par « étapes », par « précis » et par « non ambigu » et qui donnent un cadre scientifique pour étudier les propriétés des algorithmes.
(en)ˈɛlˌalɡɔːɹɪθmˈiːk(fr) de-z a puʁ fɔ̃dmˈɑ̃ matematˈik de- fɔʁmalˈism, paʁ ɛɡzˈɑ̃pl səlyˈi de- maʃˈin də- (en)tjˈʊəɹɪŋ(fr), ki pɛʁmˈɛt də- definˈiʁ pʁesizemˈɑ̃ sə- kɔ̃n ɑ̃tˈɑ̃ pˈaʁ « etˈap », pˈaʁ « pʁesˈi » e pˈaʁ « nɔ̃ ɑ̃biɡˈy » e ki dˈɔnt œ̃ kˈadʁ sjɑ̃tifˈik puʁ etydjˈe le- pʁɔpʁietˈe de- (en)ˈalɡəɹˌɪθmz(fr).