Задача точного определения понятия алгоритма была решена в 30-х годах в работах Гильберта, Черча, Клини, Поста, Тьюринга в двух формах: на основе понятия рекурсивной функции и на основе описания алгоритмического процесса. За 30–40 годы ХХ столетия было предложено примерно 20 формальных конструкций алгоритмов, которые условно можно разбить на три типа. 1.Алгоритмические машины (АМ). Алгоритм представляется набором правил команд процессора, последовательность выполнения которых управляет состоянием памяти. Основные АМ, которые повлияли на создание реальных вычислительных машин, реальных языков программирования и концепции организации вычислительных процессов были предложены в ХХ в. ·    Машина Тьюринга (МТ) предложена Тьюрингом в 1937 г. ·    Машина Поста (МР) предложена Постом в 1937 г. ·    Нормальный алгоритм Маркова (НАМ) предложен Марковым в 1953 г.