Система переписывания графов (с приоритетами)

Материал из WEGA
Версия от 11:45, 8 сентября 2011; KEV (обсуждение | вклад) (Новая страница: «'''Система переписывания графов (с приоритетами)''' (''Graph rewriting system (with priorities)'') — тройка <math…»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

Система переписывания графов (с приоритетами) (Graph rewriting system (with priorities)) — тройка [math]\displaystyle{ (C,P,\gt ) }[/math], где

(i) [math]\displaystyle{ C = (C_{V}, C_{E}) }[/math] — набор цветов для окраски вершин и ребер,
(ii) [math]\displaystyle{ P }[/math] — конечное множество переписывающих правил над [math]\displaystyle{ C }[/math],
(iii) [math]\displaystyle{ \gt }[/math] — частичный порядок на множестве правил [math]\displaystyle{ P }[/math].

Система переписывания графов изменяет разметку вершин и/или ребер без изменения топологии графа. Система переписывания графов является одной из моделей локальных вычислений на графах.

Литература

  • Workshop. Berlin, 1990 // Lect. Notes Comp. Sci., 1991, vol. 484.