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

Система переписывания графов (с приоритетами) (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].

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

Литература