2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Машина Тьюринга
Сообщение23.01.2010, 17:53 
Здравствуйте.
Имеется слово на ленте машины Тьюринга $P=010^310$
и программа машины:
$q_10$$q_21R$ - машина находится в состоянии q1, наблюдает 0, переходит в q2, пишет 1, двигается вправо
$q_11$$q_10L $- находится в состоянии q1, наблюдает 1, остается в q1, пишет 0, двигается влево
$q_20$$q_31R$ - находится в состоянии q2, наблюдает 0, переходит в q3, пишет 1, двигается вправо
$q_21$$q_30L$ - находится в состоянии q2, наблюдает 0, переходит в q3, пишет 1, двигается влево
$q_30$$q_10L$- находится в состоянии q3, наблюдает 0, переходит в q1, пишет 0, двигается влево

Каким образом происходит переход от одного состояния в другое. и что получается после каждого дейчтвия на ленте.
если я правильно понимаю, то после первого действия получаем: 0000010-сдвигается влево....и что дальше?
помогите разобраться, пожалуйста,оч нужно :!:

 
 
 
 Re: Машина Тьюринга
Сообщение23.01.2010, 18:46 
Неплохо бы ещё знать начальное состояние и начальное расположение каретки.

Но если предположить, что начальное состояние -- $q_1$, и каретка расположена над самым левым символом, то логика такая: текущее состояние -- $q_1$ и символ под кареткой -- $0$. Этой комбинации соответствует первая команда ($q_10$$q_21R$), поэтому машина переходит в состояние $q_2$, пишет в текущую ячейку $1$ и сдвигает каретку вправо.

Теперь машина находится в состоянии $q_2$, и символ в текущей ячейке -- $1$. Этой комбинации соответствует четвертая команда ($q_21$$q_30L$), поэтому ...

И т.д.

 
 
 
 Re: Машина Тьюринга
Сообщение23.01.2010, 19:03 
Спасибо огромное!!!! :D

 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group