Проблема принадлежности
Материал из WikiGrapp
Проблема принадлежности (Membership problem) — для заданного определенного типа описания языка и заданной цепочки [math]\displaystyle{ \,\omega }[/math] требуется установить, принадлежит ли цепочка [math]\displaystyle{ \,\omega }[/math] этому языку или нет.
Эффективно решается для регулярных выражений и неразрешима для КС-грамматик.
Литература
- Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. — М.: Мир, 1979.
- Касьянов В.Н. Лекции по теории формальных языков, автоматов и сложности вычислений. — Новосибирск: НГУ, 1995.
