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

Материал из WikiGrapp
Версия от 18:14, 9 февраля 2011; KEV (обсуждение | вклад)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

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

Литература

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