1191
правка
KEV (обсуждение | вклад) (Создана новая страница размером '''Неукорачивающаяся грамматика''' (''Context-sensitive grammar'') - [[грам...) |
KVN (обсуждение | вклад) Нет описания правки |
||
Строка 1: | Строка 1: | ||
'''Неукорачивающаяся грамматика''' ([[Context-sensitive grammar|''Context-sensitive grammar'']]) - [[грамматика|''грамматика'']] <math>G = (N, \Sigma,</math> <math> P, S)</math>, в которой каждое правило из <math>P</math> имеет вид <math>\alpha\longrightarrow\beta</math>, где | '''Неукорачивающаяся грамматика''' ([[Context-sensitive grammar|''Context-sensitive grammar'']]) - [[грамматика|''грамматика'']] <math>G = (N, \Sigma,</math> <math> P, S)</math>, в которой каждое правило из <math>P</math> имеет вид <math>\alpha\longrightarrow\beta</math>, где | ||
<math>\vert\alpha\vert\leq\vert\beta\vert</math>. | <math>\vert\alpha\vert\leq\vert\beta\vert</math>. | ||
Другие названия - [[Грамматика типа 1|''Грамматика типа 1'']], [[КЗ-грамматика|''КЗ-грамматика'']], | |||
[[Контекстно-зависимая грамматика|''Контекстно-зависимая грамматика'']]. | |||
==Литература== | ==Литература== | ||
Строка 7: | Строка 11: | ||
[Касьянов/95] | [Касьянов/95] | ||
[[Категория: Теория формальных языков]]. |