Система переписывания графов (с приоритетами)
Материал из WEGA
Система переписывания графов (с приоритетами) (Graph rewriting system (with priorities)) — тройка [math]\displaystyle{ (C,P,\gt ) }[/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.