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

Материал из WikiGrapp
Перейти к:навигация, поиск

Графовая грамматика (Graph grammar) — четверка GG = (C, T, PROD, START), где C = (C_{V},C_{E}) — алфавит цветов для разметки вершин и ребер, T = (T_{V},T_{E})алфавиты терминалов, включаемые в C, PROD — конечное множество продукций, START — начальный граф. Г.г. порождает графовый язык

L(GG) = \{H| START \Rightarrow_{GG} H \mbox{ }и\mbox{ }H\mbox{ --- T-}раскрашен\}.

Литература

  • Workshop. Herrsching, 1994 // Lect. Notes Comp. Sci., 1995, vol. 903.