La teoría de autómatas y la teoría de funciones recursivas proveen modelos matemáticos que formalizan el concepto de "algoritmo".