En metaalgoritme er en generalisering af begrebet en algoritme . Klassiske formaliseringer af begrebet en algoritme (såsom normale algoritmer ) giver ikke fuldt ud en ordentlig formalisering af den intuitive forestilling om en algoritme. Normale algoritmer giver for eksempel ikke en entydig anvendelse af den normale algoritme til sig selv (fordi for at anvende algoritmen på algoritmens skema, er det nødvendigt at transformere algoritmens skema til et ord i det anvendte alfabet , hvilket kun kan gøres "manuelt" på basis af nogle aftaler, da aftalerne ikke er andet end aftaler (aftaler), kan de ændre sig, hvilket medfører tvetydigheden af at anvende algoritmen på sig selv. [en]Nogle modifikationer af normale algoritmer giver en utvetydig anvendelse af sig selv til sig selv. En sådan formalisering af begrebet en algoritme betragtes som definitionen af en metaalgoritme . [2]