Аноним

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

Материал из WEGA
нет описания правки
(Создана новая страница размером '''Графовая грамматика''' (''Graph grammar'') - четверка <math>GG = (C, T, PROD, START)</math>, где <math>C ...)
 
Нет описания правки
Строка 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{ и }H\mbox{ --- T-раскрашен}\}.</math>\vspace*{-10pt}
</math>T<math>-раскрашен}\}.</math>\vspace*{-10pt}
==Литература==
==Литература==
[WG'94]
[WG'94]