la tˌeoɾˈia ðe aʊtˈomatas i la tˌeoɾˈia ðe funθjˈones rˌekuɾsˈiβas pɾoβˈeen moðˈelos mˌatemˈatikos ke fˌoɾmalˈiθan el konθˈepːto ðe ˌalɣoɾˈitmo.
La teoría de autómatas y la teoría de funciones recursivas proveen modelos matemáticos que formalizan el concepto de algoritmo.