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