Если перечислять по времени появления, то получится такой ряд:

1920-е годы -- Комбинаторная логика
1930-е годы -- Лямбда-исчисление
1930-е годы -- Машина Тьюринга
1940-е годы -- Нормальные алгорифмы Маркова

Неудивительно, что советские алгорифмы Маркова почти неизвестны на западе. Даже комбинаторы, которые открыл Моисей Шейнфинкель в России, пришлось через несколько лет переоткрывать Хаскеллу Кэрри в штатах...