Графовая грамматика: различия между версиями
Перейти к навигации
Перейти к поиску
Glk (обсуждение | вклад) (Создана новая страница размером '''Графовая грамматика''' (''Graph grammar'') - четверка <math>GG = (C, T, PROD, START)</math>, где <math>C ...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| (не показаны 2 промежуточные версии этого же участника) | |||
| Строка 1: | Строка 1: | ||
'''Графовая грамматика''' (''Graph grammar'') | '''Графовая грамматика''' (''[[Graph grammar]]'') — четверка <math>GG = (C, T, PROD, START)</math>, где <math>C = (C_{V},C_{E})</math> — алфавит цветов для [[разметка вершин|разметки вершин]] и [[разметка ребер|ребер]], <math>T = (T_{V},T_{E})</math> — [[алфавит|алфавиты]] [[терминал|терминалов]], включаемые в <math>C</math>, <math>PROD</math> — конечное множество продукций, <math>START</math> — начальный [[граф]]. '''Г.г.''' порождает графовый язык | ||
четверка <math>GG = (C, T, PROD, START)</math>, где <math>C = (C_{V},C_{E})</math> | |||
алфавит цветов для разметки вершин и ребер, <math>T = (T_{V},T_{E})</math> | |||
алфавиты терминалов, включаемые в <math>C</math>, <math>PROD</math> | |||
множество | |||
продукций, <math>START</math> | |||
<math>L(GG) = \{H| START \Rightarrow_{GG} H\mbox{ и }H\mbox{ --- | <math>L(GG) = \{H| START \Rightarrow_{GG} H \mbox{ }</math>и<math>\mbox{ }H\mbox{ --- T-}</math>раскрашен<math>\}.</math> | ||
</math> | |||
==Литература== | ==Литература== | ||
* Workshop. Herrsching, 1994 // Lect. Notes Comp. Sci., 1995, vol. 903. | |||
Текущая версия от 14:09, 2 февраля 2011
Графовая грамматика (Graph grammar) — четверка [math]\displaystyle{ GG = (C, T, PROD, START) }[/math], где [math]\displaystyle{ C = (C_{V},C_{E}) }[/math] — алфавит цветов для разметки вершин и ребер, [math]\displaystyle{ T = (T_{V},T_{E}) }[/math] — алфавиты терминалов, включаемые в [math]\displaystyle{ C }[/math], [math]\displaystyle{ PROD }[/math] — конечное множество продукций, [math]\displaystyle{ START }[/math] — начальный граф. Г.г. порождает графовый язык
[math]\displaystyle{ L(GG) = \{H| START \Rightarrow_{GG} H \mbox{ } }[/math]и[math]\displaystyle{ \mbox{ }H\mbox{ --- T-} }[/math]раскрашен[math]\displaystyle{ \}. }[/math]
Литература
- Workshop. Herrsching, 1994 // Lect. Notes Comp. Sci., 1995, vol. 903.