Четкое описание класса отчасти рекурсивных функций совместно с тезисом Черча дает одно из вероятных решений задачки об уточнении понятия метода. Но это решение не полностью прямое, потому что понятие вычислимой функции является вторичным по отношению к понятию метода. Спрашивается, нельзя ли уточнить конкретно само понятие метода и уже потом при его помощи найти точно и класс вычислимых функций? Такое направление поиска привело к построению другого, ежели рекурсивные функции, класса моделей метода. Основная его мысль заключается в том, что алгоритмические процессы — это процессы, которые может производить спецефическим образом устроенная машина, моделирующая тем выполнение отдельных операций человеком. Функционирование таковой машины и есть выполнение некого метода. Исходя из параметров метода (п.7.1), можно сконструировать общие требования к таким машинам:

1) нрав их функционирования должен быть дискретным, т.е. состоять из отдельных шагов*, любой из которых производится только после окончания предшествующего;

* В предстоящем указание по выполнению шага будем именовать командой.

2) деяния должны быть детерминированы, т.е. шаги производятся в серьезном порядке, а их итог определяется самим шагом и плодами прошлых шагов;

3) до работы машине предоставляются начальные данные из области определения метода;

4) за конечное число шагов работы машины должен быть получен итог (либо информация о том, что считать результатом);

5) машина должна быть универсальной, т.е. таковой, чтоб с ее помощью можно было бы выполнить хоть какой метод.

Чем проще структура (т.е. устройство) описанной машины и чем элементарнее ее шаги, тем больше оснований считать, что ее работа и есть выполнение метода. Чтоб ответить на вопрос, какие шаги работы машины следует отнести к простым, вернемся к тому обстоятельству, что нас интересует преобразование инфы, представленной при помощи некого конечного алфавита. Требование конечности алфавита является естественным следствием того происшествия, что решение должно быть получено за конечное число шагов. Если информация не представлена в дискретной форме, к примеру, вещественное число, то его обработка в общем случае может содержать нескончаемое число шагов (к примеру, нахождение цифр числа п либо извлечение квадратного корня из числа 2). Таким макаром, метод оказывается конечной последовательностью действий, производимых над данными, представленными при помощи конечного алфавита. С учетом произнесенного становится понятным определение метода, которое дает В. М. Глушков [12, с.38]:

Метод — это неважно какая конечная система правил преобразования инфы (данных) над хоть каким конечным алфавитом.

Пусть начальные данные из области определения метода представлены средством алфавита А и образуют при всем этом конечную последовательность символов {a₁…a_n} — такая последовательность именуется словом. В итоге выполнения метода сформируется новое слово {b₁…b_m}, представленное, в общем случае, в другом алфавите 6. На 1-ый взор для проведения такового преобразования в качестве простых выделяются последующие операции (шаги):

1. подмена 1-го знака начального слова a_i знаком b_j из алфавита B;
2. удаление знака начального слова;
3. добавление к начальному слову знака из алфавита B.

Но если в алфавиты включен символ, имеющий смысл пустого знака, добавление которого к слову слева либо справа не изменяет этого слова (аналог числового нуля), то просто созидать, что операция (2) есть ни что другое, как подмена a_i пустым знаком, а операция (3) есть подмена пустого знака знаком b_j. Таким образом, все вероятные алфавитные преобразования сводится к операции (1) -замене 1-го знака другим. Конкретно по этой причине функционирование абстрактной машины сводится к тому, что она обозревает знаки (т.е. считывает и распознает их), записанные в памяти (в этом качестве выступает нескончаемая лента), и зависимо от собственного состояния и того, каковой обозреваемый знак, она подменяет его другим эмблемой; после чего она перебегает в новое состояние, читает последующий знак и т.д. до команды о прекращении работы. Так как подобные машины являются чисто модельным, теоретическим построением, они получили заглавие абстрактных машин и рассматриваются в качестве одной из вероятных универсальных алгоритмических систем.

Концепция метода как абстрактной машины была выдвинута фактически сразу (1936 — 1937 гг.) английским математиком Аланом Тьюрингом и его южноамериканским сотрудником Эмилем Постом. Высочайшая значимость их построений к тому же в том, что они в абстрактной форме предвосхитили главные принципные черты реальных устройств по обработке данных (вычислительных машин), которые появились только спустя 8-9 лет.