A lo largo de la historia varios autores han tratado de definir formalmente a los algoritmos utilizando modelos matemáticos.