Неукорачивающаяся грамматика

Неукорачивающаяся грамматика (Context-sensitive grammar) — грамматика [math]\displaystyle{ \,G = (N, \Sigma, P, S) }[/math], в которой каждое правило из [math]\displaystyle{ \,P }[/math] имеет вид [math]\displaystyle{ \alpha\longrightarrow\beta }[/math], где [math]\displaystyle{ \vert\alpha\vert\leq\vert\beta\vert }[/math].

Другие названия — Грамматика типа 1, КЗ-грамматика, Контекстно-зависимая грамматика.

Литература

• Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. — М.: Мир, 1978. — Т. 1,2.

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