Неукорачивающаяся грамматика: различия между версиями

Материал из WikiGrapp
Перейти к навигации Перейти к поиску
Нет описания правки
Нет описания правки
 
Строка 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]]'') —  ''[[грамматика]]'' <math>\,G = (N, \Sigma, 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'']], [[КЗ-грамматика|''КЗ-грамматика'']],
Другие названия — ''[[Грамматика типа 1]]'', ''[[КЗ-грамматика]]'',
[[Контекстно-зависимая грамматика|''Контекстно-зависимая грамматика'']].
''[[Контекстно-зависимая грамматика]]''.




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


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


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




[[Категория: Теория формальных языков]].
[[Категория: Теория формальных языков]].

Текущая версия от 12:17, 19 мая 2011

Неукорачивающаяся грамматика (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.