A meta-algoritmus az algoritmus fogalmának általánosítása . Az algoritmus fogalmának klasszikus formalizálásai (mint például a normál algoritmusok ) nem biztosítják teljes mértékben az algoritmus intuitív fogalmának megfelelő formalizálását. A normál algoritmusok például nem biztosítják magukra a normál algoritmus egyértelmű alkalmazását (mert ahhoz, hogy az algoritmust az algoritmus sémájára alkalmazzuk, az algoritmus sémáját át kell alakítani a használt ábécé valamelyik szavára , ami csak "manuálisan", bizonyos megállapodások alapján történhet, mivel a megállapodások nem mások, mint megállapodások (megállapodások), változhatnak, ami az algoritmus önmagára való alkalmazásának kétértelműségét vonja maga után. [1] A normál algoritmusok bizonyos módosításai egyértelmű alkalmazást tesznek lehetővé önmagukra. Az algoritmus fogalmának ilyen formalizálását a meta-algoritmus definíciójának tekintjük . [2]