4194
правки
Графовая грамматика: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Графовая грамматика''' (''[[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> --- начальный [[граф]]. '''Г.г.''' порождает графовый язык | '''Графовая грамматика''' (''[[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>L(GG) = \{H| START \Rightarrow_{GG} H\mbox{ и }H\mbox{ --- T-раскрашен | <math>L(GG) = \{H| START \Rightarrow_{GG} H \mbox{ }</math>и<math>\mbox{ }H\mbox{ --- T-}</math>раскрашен<math>\}.</math> | ||
==Литература== | ==Литература== | ||
[WG'94] | [WG'94] | ||