a lo lˈaɾɣo ðe la istˈoɾja, bˈaɾjos aʊtˈoɾes ˈan tɾatˈaðo ðe ðˌefinˈiɾ foɾmˈalmˈente los ˌalɣoɾˈitmos ˌutiliθˈando moðˈelos mˌatemˈatikos.
A lo largo de la historia, varios autores han tratado de definir formalmente los algoritmos utilizando modelos matemáticos.