@supra_jdm

Здравствуйте!
Чувствую, что мое решение неправильно, хотелось бы развеять эти сомнения.

Построить машину Тьюринга в алфавите А={0,1}, которая, начав работу с последней единицы массива из единиц, сдвигает его на одну ячейку влево, не изменяя остального содержимого ленты. Головка останавливается на первой единице перенесенного массива.

Заранее благодарю!

Миниатюры

 

0

@3D Homer

Несколько замечаний.

1. Вы должны осознавать, что многие учебники дают свое собственное определение машины Тьюринга. Они отличаются тем, бесконечна ли лента в обе стороны, может ли головка писать и двигаться в течение одного хода, что используется в качестве пустого символа и как он обозначается, как машина останавливается и т.д. Просьба написать машину Тьюринга похожа на просьбу перевести фразу с английского на один из славянских языков, не указывая, какой именно.

2. Вашу фотографию тяжело читать. В частности, я не уверен в содержании клетки в строке q1 и столбце 1. Почему бы не написать правила в сообщении?

3. Почему бы вам не сделать вручную трассировку вашей машины на слове из единиц?

4. Если ваша машина начинает работу в состоянии q0 на последней единице, то она оставляет эту единицу, в то время как по условию на этом месте должен появиться пробел.

1