Статья 290

Первая модель - это абстрактная А. Тьюринг и Р. Пост, вторая половина 30-х годов. Возможное описание модели такой машины дано.
Вычислительная машина действует на основе конечной программы, зашитой в нее. Команды этой программы перенумерованы. Номер команды, которая исполняется в данный момент. Машина обрабатывает содержимое памяти, разбитой на ячейки. В каждый момент она рассматривает содержимое одной из ячеек. Пусть это содержимое. Тогда машина проверяет некоторое условие в модели Поста, где ячейки содержат натуральные числа, в теории Тьюринга ячейка содержит символ из заранее перечисленного конечного алфавита и осуществляется просто проверка. Если это условие выполнено, то машина переходит к части команды, соответствующей. Она производит некоторое очень простое действие и переходит к одной из соседних ячеек.