2014 dxdy logo

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

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


Правила форума


В этом разделе нельзя создавать новые темы.



Начать новую тему Ответить на тему
 
 Машина Тьюринга
Сообщение05.12.2015, 16:15 
Аватара пользователя


23/09/15
167
Разбираю по учебнику доказательство теоремы, есть там вот такое:
Цитата:
Преобразуем программу машины Тьюринга таким образом, чтобы на каждом шаге машина могла бы выполнять только одно из следующих действий: сдвинуть головку влево; сдвинуть головку вправо; записать новый символ без сдвига головки. Это легко можно сделать, заменив каждую команду $qa \to q'a'd$ на две команды $qa \to q'a'p$ и $q'a' \to q'a'd$.

Здесь $d \in \left\lbrace r, l, p \right\rbrace$ соответственно сдвиг вправо, влево, или стоим на месте.
А что, есть команда типа $q'a' \to ...$ уже существует? Тогда ничего добавить не получится и ничего хорошего не выйдет. Полагая, что здесь нужно ввести новое состояние и заменять на что-то такое $ qa \to q''a'p$ и $q''a' \to q'a'd$. В книге действительно опечатка, или я чего то не понимаю?

 Профиль  
                  
 
 Re: Машина Тьюринга
Сообщение05.12.2015, 16:32 
Заслуженный участник
Аватара пользователя


19/12/10
1546
Если МТ недетерминированная, то ошибки нет. В противном случае — вы правы.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group