Машины Тьюринга - Форум «Всё о Паскале»

Правила форума :: Скачать Pascal :: FAQ // Ада–2020 :: Скачать GNAT :: OEM–2015 :: Ada -> C/C++

Сайт «Всё о Паскале» > Форум > Образование и наука > Математика

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Компиляция правил для данного раздела

1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!

Машины Тьюринга

Опции

NTL	7.12.2006 22:41 Сообщение #1
Фанат Delphi Группа: Пользователи Сообщений: 72 Пол: Мужской Реальное имя: Сергей Репутация: 0	Кто знаком с машинами Тьюринга...Доказать, что импликация вычислимая по Тьюрингу функция. Т.е. найти такую функцию!Пожалуйста, помогите... -------------------- ICQ (384-043-857)

Ответов

Michael_Rybak	8.12.2006 7:25 Сообщение #2
Michael_Rybak Группа: Пользователи Сообщений: 1 046 Пол: Мужской Реальное имя: Michael_Rybak Репутация: 32	Думаю, нет. Оффтоп: и нафиг с этими блин машинами Тьюринга париться Судя по всему, тебе нужно описать машину тьюринга, в которой на ленте в первых двух позициях будут X и Y, а в третьей, после завершения алгоритма, окажется X imply Y. Это просто. Для начала найди и напиши здесь определение машины Тьюринга.