Задача (алгоритмически) неразрешимая

Материал из WEGA
Перейти к навигации Перейти к поиску

Задача (алгоритмичеcки) неразрешимая (Undecidable problem) — задача, для которой не существует единого алгоритма, позволяющего получать ответ для каждой комбинации параметров задачи.

Литература

  • Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. — М.: Мир, 1978. — Т. 1,2.
  • Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.
  • Котов В.Е., Сабельфельд В.К. Теория схем программ.— М.: Наука, 1991.