LazarusLong
Ирландский доброволец
Проректор
Карма: +181/-7
 Offline
Пол:  Награды: 
Сообщений: 6133
Ukrainian by birth, Irish by the grace of God
|
 |
« : Ноябрь 17, 2008, 07:00:57 » |
|
Дан текст программы, требуется определить, сможет ли выполнение программы завершиться когда-либо. Альтернативой этому является то, что она работает всё время без остановки.
|
|
|
|
« Последнее редактирование: Ноябрь 19, 2008, 11:05:57 от vimmax »
|
Записан
|
Когда ему нужно - он русский, когда нужно - украинец, а когда ему ни хрена не нужно - он ирландец.
"...Он любил говорить факин щит
Когда что-то не так ему
Принимал он свой самый ирландский вид
И кидался трубкой в жену..."
|
|
|
vimmax
Модератор
Декан
Карма: +42/-3
Offline
Пол: Награды: 
Сообщений: 1713
♪♪ ♫ ♪♪ ♫ ♪♪ ♫ ♪♪
|
|
« Ответ #1 : Ноябрь 19, 2008, 11:04:24 » |
|
э прикольно,
а исключения считаются ?
видел код, когда все блоки программы были взяты в try ... catch, чтобы программа не могла вылететь
еще ставят watch dog карты или аппаратные таймеры.
|
|
|
|
|
Записан
|
♪♪ ♫ LET FOREVER BE ♫ ♪♪ ♫ ♪♪ ♪♪ ♫
|
|
|
LazarusLong
Ирландский доброволец
Проректор
Карма: +181/-7
Offline
Пол: Награды:
Сообщений: 6133
Ukrainian by birth, Irish by the grace of God
|
|
« Ответ #2 : Ноябрь 20, 2008, 06:25:44 » |
|
vimmax, эта задача была придумана когда еще компьютеров не существовало в принципе. В оригинале там звучало слово "алгоритм", а не программа.
|
|
|
|
|
Записан
|
Когда ему нужно - он русский, когда нужно - украинец, а когда ему ни хрена не нужно - он ирландец.
"...Он любил говорить факин щит
Когда что-то не так ему
Принимал он свой самый ирландский вид
И кидался трубкой в жену..."
|
|
|
|
tos
|
|
« Ответ #3 : Ноябрь 20, 2008, 04:50:29 » |
|
стоп! я чё то не пойму.
ну и где текст програмы собс-на?
|
|
|
|
|
Записан
|
|
|
|
LazarusLong
Ирландский доброволец
Проректор
Карма: +181/-7
Offline
Пол: Награды:
Сообщений: 6133
Ukrainian by birth, Irish by the grace of God
|
|
« Ответ #4 : Ноябрь 20, 2008, 08:38:52 » |
|
текст програмы собс-на? на винте в файле с расширением cpp(или с другим - смотря какой язык программирования тебе удобнее. Хоть на GW-BASIC или ассемблере). Текст программы может быть любой. Нужно написать программу его анализирующую и дающую ответ: "Да. Программа остановится", "Нет. Программа зациклится". ( Отправлено в: 2008-11-20, 19:37:53) Поясню - текст программы - дейсвительно любой. От Hello World до сорцов ядря фряхи. |
|
|
|
|
Записан
|
Когда ему нужно - он русский, когда нужно - украинец, а когда ему ни хрена не нужно - он ирландец.
"...Он любил говорить факин щит
Когда что-то не так ему
Принимал он свой самый ирландский вид
И кидался трубкой в жену..."
|
|
|
|
tos
|
|
« Ответ #5 : Ноябрь 20, 2008, 08:44:26 » |
|
вот так яснее.
|
|
|
|
|
Записан
|
|
|
|
LazarusLong
Ирландский доброволец
Проректор
Карма: +181/-7
Offline
Пол: Награды:
Сообщений: 6133
Ukrainian by birth, Irish by the grace of God
|
|
« Ответ #6 : Ноябрь 20, 2008, 08:49:45 » |
|
это радует ). Есть идеи?
|
|
|
|
|
Записан
|
Когда ему нужно - он русский, когда нужно - украинец, а когда ему ни хрена не нужно - он ирландец.
"...Он любил говорить факин щит
Когда что-то не так ему
Принимал он свой самый ирландский вид
И кидался трубкой в жену..."
|
|
|
|
tos
|
|
« Ответ #7 : Ноябрь 20, 2008, 08:56:14 » |
|
пока нету.
ещё не задумывался.
парсер исходников??
всё равно ничё не даст.
разве тока вероятность.
|
|
|
|
|
Записан
|
|
|
|
LazarusLong
Ирландский доброволец
Проректор
Карма: +181/-7
Offline
Пол: Награды:
Сообщений: 6133
Ukrainian by birth, Irish by the grace of God
|
|
« Ответ #8 : Ноябрь 20, 2008, 09:01:30 » |
|
Ладно, я наверно оглашу ответ, которого я ждал, так как вряд ли кто-то его скажет. Ответ - решить данную задачу невозможно в принципе. Никак. Математически доказано Тюрьингом (обобщенная проблема остановки). Данная задача относится к классу алгоритмически не разрешимых задачно это нужно было просто знать  |
|
|
|
|
Записан
|
Когда ему нужно - он русский, когда нужно - украинец, а когда ему ни хрена не нужно - он ирландец.
"...Он любил говорить факин щит
Когда что-то не так ему
Принимал он свой самый ирландский вид
И кидался трубкой в жену..."
|
|
|
|
tos
|
|
« Ответ #9 : Ноябрь 20, 2008, 09:10:37 » |
|
жжош!
+1
типа того :
"дайте определение плоскости"
|
|
|
|
|
Записан
|
|
|
|
|
