Графовая грамматика: различия между версиями

Перейти к навигации Перейти к поиску
нет описания правки
Нет описания правки
Нет описания правки
Строка 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{ }</math>и<math>\mbox{ }H\mbox{ --- T-}</math>раскрашен<math>\}.</math>
<math>L(GG) = \{H| START \Rightarrow_{GG} H \mbox{ }</math>и<math>\mbox{ }H\mbox{ - T-}</math>раскрашен<math>\}.</math>
==Литература==
==Литература==
* Workshop. Herrsching, 1994 // Lect. Notes Comp. Sci., 1995, vol. 903.
* Workshop. Herrsching, 1994 // Lect. Notes Comp. Sci., 1995, vol. 903.

Навигация