Версия для печати темы

Нажмите сюда для просмотра этой темы в обычном формате

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

Автор: NTL 7.12.2006 22:41

Кто знаком с машинами Тьюринга...Доказать, что импликация вычислимая по Тьюрингу функция. Т.е. найти такую функцию!Пожалуйста, помогите...

Автор: Michael_Rybak 7.12.2006 22:48

Дашь определения - сможем. Что такое вычислимая по Тьюрингу? Что существует машина? Тогда вообще просто.

Автор: NTL 8.12.2006 6:07

Вот нашел в инете кое-что...Как вы думаете это то, что мне нужно?


Эскизы прикрепленных изображений
Прикрепленное изображение

Автор: Michael_Rybak 8.12.2006 7:25

Думаю, нет.

Оффтоп: и нафиг с этими блин машинами Тьюринга париться rolleyes.gif

Судя по всему, тебе нужно описать машину тьюринга, в которой на ленте в первых двух позициях будут X и Y, а в третьей, после завершения алгоритма, окажется X imply Y.

Это просто.

Для начала найди и напиши здесь определение машины Тьюринга.