к любым машинам, которые выполняли работу человека-компьютера, особенно к тем, которые были разработаны в соответствии с эффективными методами тезиса Чёрча — Тьюринга. Этот тезис формулируется как: «Всякий алгоритм может быть задан в виде соответствующей машины Тьюринга или частично рекурсивного определения, а класс вычислимых функций совпадает с классом частично рекурсивных функций и с классом функций, вычислимых на машинах Тьюринга».
Модель машины Тьюринга, воссозданная Майком Давье в 2012 году