Проблема принадлежности

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

Проблема принадлежности (Membership problem) — для заданного определенного типа описания языка и заданной цепочки [math]\displaystyle{ \,\omega }[/math] требуется установить, принадлежит ли цепочка [math]\displaystyle{ \,\omega }[/math] этому языку или нет.

Эффективно решается для регулярных выражений и неразрешима для КС-грамматик.

Литература

  • Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. — М.: Мир, 1979.
  • Касьянов В.Н. Лекции по теории формальных языков, автоматов и сложности вычислений. — Новосибирск: НГУ, 1995.