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