Графовая грамматика

Материал из WEGA
Версия от 16:51, 8 октября 2009; Glk (обсуждение | вклад) (Создана новая страница размером '''Графовая грамматика''' (''Graph grammar'') - четверка <math>GG = (C, T, PROD, START)</math>, где <math>C ...)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

Графовая грамматика (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{ и }H\mbox{ --- }[/math]T[math]\displaystyle{ -раскрашен}\}. }[/math]\vspace*{-10pt}

Литература

[WG'94]