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

Графовая грамматика (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.