Вариант 5
Составьте программу машины Тьюринга, сдвигающей головку влево на
следующий массив единиц. В результате работы программы происходит
следующее преобразование машинных слов:
01𝑥+1 0𝑦 1𝑧 𝑞1 1𝑤 0 → 0 1𝑥 𝑞0 10𝑦 1𝑧+𝑤 0.
состояние 0
q1
q20L
1
q11L
q2
q01S
q20L
Комментарий
Проходим все 1 второй последовательности
единиц влево. Как встретили 0 – переход в
новое состояние
Проходим все 0 разделяющей
последовательности влево. Как встретили 1 –
переход в заключительное состояние с
прекращением перемещения
Ограничения: обязательно y>0, поскольку должно быть разделение двух
массивов; w>0, согласно примеру в задании; x≥0, z≥0.