Постройте машину Тьюринга, копирующую заданную строку из единиц. Исходная строка и копия должны быть разделены пустым символом (звёздочкой). Например, строка *1111* должна превращаться в *1111*1111*. s — начальное состояние, f — конечное. В качестве примера введена машина, превращающая набор *1...1* в набор *1...1*1*. Прежде чем создавать свою машину, Вы можете посмотреть, как она работает.
Когда мы копируем строку, нам важно понимать, какие элементы мы уже скопировали, а какие ещё нет. Поэтому уже скопированные единицы мы будем «помечать» используя для этого вспомогательный символ 2.
Как работает наша машина:
а) Так
б) Так — эти правила отвечают за движение управляющего элемента направо до второй встреченной звездочки (когда мы встречаем первую звездочку, это отмечается переходом из состояния q1 в состояние q2.
в) Так
г) Так
Ответ: см. рис.