Мне только не понятно, почему состояний три: 0, 1, и пусто (условный переход распознаёт их)? Должно же быть два — есть метка и нет метки! Или я что-то пропустил???
Интересно, а по какому принципу выбирали цифры? Я сначала подумал, что это может быть ASCII in binary code, но, похоже, что нет. Или они всё же что-то значат, но не в ASCII?
Машина Тьюринга на сайте Гугла