Как работает алгоритм детерминированной машины Тьюринга?

Алгоритм детерминированной машины Тьюринга работает согласно правилам перехода. ru.wikipedia.org Они предписывают машине, в зависимости от текущего состояния и наблюдаемого в текущей клетке символа, записать в эту клетку новый символ, перейти в новое состояние и переместиться на одну клетку влево или вправо. ru.wikipedia.org

Перед началом работы машины входная строка записывается на входную ленту в последовательных ячейках, головка на входной ленте указывает на ячейку, в которой находится первый символ входной строки. arxiv.org Машина Тьюринга начинает работу с начального состояния. arxiv.org

За один такт машина Тьюринга читает символы с лент и в зависимости от текущего состояния в соответствии с функцией переходов пишет на ленты символы, сдвигает головки влево или вправо на одну ячейку или оставляет их на месте, и меняет текущее состояние. arxiv.org

Машина Тьюринга выполняет шаги один за одним, пока не попадёт в финальное состояние, в этот момент она останавливается, и результатом её работы будет являться содержимое ленты. logic.pdmi.ras.ru Если же машина Тьюринга не попадает в финальное состояние, то в этом случае считается, что она не останавливается. logic.pdmi.ras.ru