#1338758
Основной вывод из проблемы остановки состоит в том, что:
Варианты ответа:
- все программы могут быть оптимизированы
- некоторые программы не могут быть анализированы на предмет их завершения
- все программы могут быть проверены на наличие бесконечных циклов
- любая программа может быть автоматически исправлена
Курсы в категории:
Правоведение