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

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

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

Литература

[Ахо-Хопкрофт-Ульман],

[Касьянов/95]