Дискуссионный математический форумМатематический форум

Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 4 часа [ Летнее время ]
MathHelpPlanet.com RSS-лента Математического форума

Часовой пояс: UTC + 4 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 51 ]  На страницу Пред.  1, 2, 3, 4, 5, 6
Автор Сообщение
 Заголовок сообщения: Re: Решение "проблемы остановки"
СообщениеДобавлено: 31 май 2017, 02:08 
Не в сети
Light & Truth
Зарегистрирован:
29 мар 2014, 00:59
Сообщений: 3194
Cпасибо сказано: 220
Спасибо получено:
199 раз в 189 сообщениях
Очков репутации: 21

Добавить очки репутацииУменьшить очки репутации
O Micron писал(а):
Сегодня мною выяснен недостаток, содержащийся в способе, предложенном мною в первом посте этой темы.

Рассмотрим такой цикл:
Код:
  a=0
label1:
  a=a+1
  if a>0 then label1
  End

Налицо бесконечный цикл, но предложенным способом это обнаружено не будет, потому что ни при одном возврате состояние не будет тем же самым: "a" всё время меняется.


Даже более того - сам анализ будет продолжаться бесконечно. Это с учетом, что машина Тьюринга - "идеальный" автомат, не имеющий ограничений на величину переменной "a".


Но Вы же видите это и даже определили достоверно, значит в Вашей голове всё-таки существует универсальный алгоритм, способный распознать по коду бесконечный цикл, причем за достаточно малое конечное время.

O Micron писал(а):
Реальная машина, имеющая конечную разрядность, через некоторое время исчерпает все свои возможные состояния (переполнение) и тогда неприменимость алгоритма может быть доказана.


Тема завершена, всем спасибо за обсуждение!
O'Micron.


Исчерпанием ресурсов машины и переполнением разрядов ничего не доказывается.
Кстати, если это теорема, то у неё должно быть и строгое доказательство, справедливое для машин Тьюринга, но по всей видимости не работающее для более совершенного разума людей.

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 51 ]  На страницу Пред.  1, 2, 3, 4, 5, 6

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Дефекты и остановки вентиляторов и насосов

в форуме Теория вероятностей

Valeria_2015

3

196

10 фев 2015, 20:54

Найти скорость лодки через 1 мин после остановки мотора

в форуме Дифференциальные и Интегральные уравнения

Haggard

4

440

13 ноя 2011, 21:45

Какой путь прошло тело от начала движения до остановки

в форуме Интегральное исчисление

Bermen

0

192

14 ноя 2012, 10:46

Проблемы с пределами

в форуме Пределы числовых последовательностей и функций, Исследования функций

lordvan

4

162

19 окт 2015, 13:59

Проблемы с циклом for

в форуме MathCad

zagorka

0

213

01 июн 2015, 15:28

Проблемы с тегами

в форуме Предложения, Замечания, Обратная связь

Shaman

11

614

11 янв 2012, 16:52

Очередные проблемы с урнами

в форуме Теория вероятностей

polaris

2

132

14 дек 2015, 02:26

Упрощение выражения и мои проблемы с ним

в форуме Алгебра

PaHda

4

230

20 ноя 2014, 12:06

Проблемы при преобразовании производной

в форуме Дифференциальное исчисление

Su-34

1

139

30 окт 2011, 16:59

Проблемы с сетевой моделью

в форуме Исследование операций и Задачи оптимизации

wilder

1

182

13 янв 2015, 16:15


Часовой пояс: UTC + 4 часа [ Летнее время ]



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

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


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

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2016 MathHelpPlanet.com. All rights reserved