2014 dxdy logo

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

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




 
 Алгоритм для Машины Тьюринга: 3 состояния, записать 6 единиц
Сообщение02.12.2010, 23:11 
Аватара пользователя
Требуется за 3 состояния машины Тьюринга в унарном алфавите записать на ленте 6 единиц.
я думаю, сразу обязательно надо записать 3 единицы подряд за 3 команды из 6. Остаются 3 команды. Какие команды добавить для реализации алгоритма?

 
 
 
 Re: Алгоритм для Машины Тьюринга
Сообщение03.12.2010, 08:31 
Ой! А это как? Т.е. $A = \{ a_0, 1\}$, $|Q|=3$, дана лента, в которой записаны только $a_0$ (или любые символы)? и надо записать 6 единиц и остановиться? Чего-то я сомневаюсь, что это возможно.
Как Вы делали? Напишите.

 
 
 
 Re: Алгоритм для Машины Тьюринга
Сообщение03.12.2010, 14:50 
Ха, да это ж busy beaver! И очень даже возможно:
$$
\left( \begin{array} {ccc} \\
 & \wedge & | & \\
\alpha & |\rightarrow \beta & |\rightarrow \mathbb{\mathrm {H}} & \\
\beta & \wedge\rightarrow\gamma & |\rightarrow\beta & \\
\gamma & |\leftarrow\gamma & |\leftarrow\alpha
\end{array}\right)
$$

 
 
 
 Re: Алгоритм для Машины Тьюринга
Сообщение03.12.2010, 19:30 
Аватара пользователя
Joker_vD в сообщении #383105 писал(а):
Ха, да это ж busy beaver! И очень даже возможно:
$$
\left( \begin{array} {ccc} \\
 & \wedge & | & \\
\alpha & |\rightarrow \beta & |\rightarrow \mathbb{\mathrm {H}} & \\
\beta & \wedge\rightarrow\gamma & |\rightarrow\beta & \\
\gamma & |\leftarrow\gamma & |\leftarrow\alpha
\end{array}\right)
$$


А состояние остановки $\mathrm{H}$ при подсчёте количества состояний не включается?

 
 
 
 Re: Алгоритм для Машины Тьюринга
Сообщение03.12.2010, 21:34 
mkot в сообщении #383215 писал(а):
А состояние остановки $H$ при подсчёте количества состояний не включается?

Обычно нет.

 
 
 
 Re: Алгоритм для Машины Тьюринга
Сообщение05.12.2010, 01:25 
Аватара пользователя
Joker_vD, спасибо вам большое за помощь. Дело в том, что после выполнения программы считывающая головка машины Тьюринга должна стоять на самом первом значащем символе на ленте или на самом последнем.

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


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