En metaalgoritm är en generalisering av begreppet en algoritm . Klassiska formaliseringar av begreppet en algoritm (som normala algoritmer ) ger inte helt en korrekt formalisering av den intuitiva begreppet en algoritm. Normala algoritmer tillhandahåller till exempel inte en entydig tillämpning av den normala algoritmen på sig själva (eftersom för att tillämpa algoritmen på algoritmens schema är det nödvändigt att omvandla algoritmens schema till något ord i alfabetet som används , vilket endast kan göras "manuellt", på grundval av vissa överenskommelser, eftersom avtalen inte är något annat än överenskommelser (överenskommelser), kan de ändras, vilket medför tvetydigheten att tillämpa algoritmen på sig själv). [1] Vissa modifieringar av normala algoritmer ger en entydig tillämpning av sig själva på sig själva. En sådan formalisering av begreppet en algoritm anses vara definitionen av en metaalgoritm . [2]