Я пытаюсь ответить в третьей части на следующий вопрос:
Я нарисовал следующую диаграмму состояний:
Согласно решению, машина «добавляет 1 к двоичному числу с его младшим битом в крайнем левом положении на ленте». Я не понимаю, что это значит, и не понимаю, почему это так.
При вводе 111 машина Тьюринга выводит 0001. В этом случае упомянутое выше решение будет означать, что машина прибавляет 1 к 111, поскольку ее младший бит, 1 (?), Находится в крайнем левом положении на ленте. Однако это дало бы 1000. Если решение верное, то оно должно означать 000 +1, но я не понимаю, как это происходит?
Как я могу рассуждать об этой машине Тьюринга?