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

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

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

Литература

• Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. — М.: Мир, 1979.

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