Für Algorithme git s underschiidligi formali Daarstellige. Die gönge vom Algorithmus as eme abstrakte Geegestück zum Brogramm, wo konkret uf e Maschine zuegschnitte isch (das häisst, d Abstrakzioon isch doo, ass mä d Detäi vo dr reale Maschine wägloot, s Brogramm isch e konkreti Form vom Algorithmus, aabasst an das, wo für die reali Maschine notwöndig und mööglig isch) bis zur Aasicht, ass Algorithme grad d Maschinebrogramm vo Turingmaschine sige (und doo lit d Abstrakzioon din, ass e Turingmaschine an sich verwändet wird, das häisst, en ideali mathematischi Maschine).