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

Материал из WikiGrapp

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

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


Литература

[Ахо-Ульман],

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