Un meta-algoritm este o generalizare a conceptului de algoritm . Formalizările clasice ale noțiunii de algoritm (cum ar fi algoritmii normali ) nu oferă pe deplin o formalizare adecvată a noțiunii intuitive de algoritm. Algoritmii normali, de exemplu, nu oferă o aplicare neechivocă a algoritmului normal pentru ei înșiși (deoarece pentru a aplica algoritmul la schema algoritmului, este necesar să se transforme schema algoritmului într-un cuvânt din alfabetul utilizat). , care se poate face doar „manual”, pe baza unor acorduri; întrucât acordurile nu sunt altceva decât acorduri (acorduri), ele se pot schimba, ceea ce atrage după sine ambiguitatea aplicării algoritmului în sine). [unu]Unele modificări ale algoritmilor normali oferă o aplicare clară a lor înșiși. O astfel de formalizare a conceptului de algoritm este considerată definiția unui meta-algoritm . [2]