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