Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 6 из 6 |
[ Сообщений: 51 ] | На страницу Пред. 1, 2, 3, 4, 5, 6 |
|
Автор | Сообщение | ||
---|---|---|---|
ivashenko |
|
||
O Micron писал(а): Сегодня мною выяснен недостаток, содержащийся в способе, предложенном мною в первом посте этой темы. Рассмотрим такой цикл: Код: a=0 label1: a=a+1 if a>0 then label1 End Налицо бесконечный цикл, но предложенным способом это обнаружено не будет, потому что ни при одном возврате состояние не будет тем же самым: "a" всё время меняется. Даже более того - сам анализ будет продолжаться бесконечно. Это с учетом, что машина Тьюринга - "идеальный" автомат, не имеющий ограничений на величину переменной "a". Но Вы же видите это и даже определили достоверно, значит в Вашей голове всё-таки существует универсальный алгоритм, способный распознать по коду бесконечный цикл, причем за достаточно малое конечное время. O Micron писал(а): Реальная машина, имеющая конечную разрядность, через некоторое время исчерпает все свои возможные состояния (переполнение) и тогда неприменимость алгоритма может быть доказана. Тема завершена, всем спасибо за обсуждение! O'Micron. Исчерпанием ресурсов машины и переполнением разрядов ничего не доказывается. Кстати, если это теорема, то у неё должно быть и строгое доказательство, справедливое для машин Тьюринга, но по всей видимости не работающее для более совершенного разума людей. |
|||
Вернуться к началу | |||
На страницу Пред. 1, 2, 3, 4, 5, 6 | [ Сообщений: 51 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Дефекты и остановки вентиляторов и насосов
в форуме Теория вероятностей |
3 |
395 |
10 фев 2015, 19:54 |
|
Какое расстояние пройдёт центр шарика до остановки?
в форуме Механика |
2 |
109 |
15 авг 2023, 15:55 |
|
Какой путь пройдёт груз до окончательной остановки?
в форуме Механика |
15 |
340 |
19 авг 2023, 14:07 |
|
Задачи без "точки остановки"
в форуме Комбинаторика и Теория вероятностей |
0 |
333 |
26 июн 2019, 00:08 |
|
Две проблемы
в форуме Геометрия |
18 |
749 |
11 июн 2023, 12:08 |
|
Две проблемы
в форуме Геометрия |
8 |
628 |
09 мар 2023, 23:05 |
|
Проблемы с пределами
в форуме Пределы числовых последовательностей и функций, Исследования функций |
4 |
369 |
19 окт 2015, 12:59 |
|
Проблемы с циклом for
в форуме MathCad |
0 |
501 |
01 июн 2015, 14:28 |
|
Проблемы с геометрией | 6 |
455 |
02 май 2018, 17:41 |
|
Проблемы с геометрией. | 1 |
283 |
09 апр 2018, 16:38 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 8 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |