Какие утверждения корректны о завершении программ?
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
существуют завершающиеся программы, для которых формально не удается построить вариант и доказать завершаемость(Верный ответ)
вариант цикла – это механизм, позволяющий доказывать завершаемость(Верный ответ)
теорема о неразрешимости проблемы остановки утверждает, что не существует алгоритма, на вход которого подавалась бы любая программа Р и ее входные данные, а он бы определял, остановится ли Р на этих данных(Верный ответ)
теорема о неразрешимости проблемы остановки утверждает, что невозможно доказать, что некоторая программа Р будет останавливаться на любом входе