Алгоритм детерминированной машины Тьюринга работает согласно правилам перехода. 1 Они предписывают машине, в зависимости от текущего состояния и наблюдаемого в текущей клетке символа, записать в эту клетку новый символ, перейти в новое состояние и переместиться на одну клетку влево или вправо. 1
Перед началом работы машины входная строка записывается на входную ленту в последовательных ячейках, головка на входной ленте указывает на ячейку, в которой находится первый символ входной строки. 2 Машина Тьюринга начинает работу с начального состояния. 2
За один такт машина Тьюринга читает символы с лент и в зависимости от текущего состояния в соответствии с функцией переходов пишет на ленты символы, сдвигает головки влево или вправо на одну ячейку или оставляет их на месте, и меняет текущее состояние. 2
Машина Тьюринга выполняет шаги один за одним, пока не попадёт в финальное состояние, в этот момент она останавливается, и результатом её работы будет являться содержимое ленты. 3 Если же машина Тьюринга не попадает в финальное состояние, то в этом случае считается, что она не останавливается. 3