Graph transformation rule: различия между версиями
Перейти к навигации
Перейти к поиску
Glk (обсуждение | вклад) (Новая страница: «'''Graph transformation rule''' --- правило преобразования графа. A '''graph transformation rule''' <math>r: \; L \rightarrow R</math> is…») |
(нет различий)
|
Текущая версия от 13:36, 17 мая 2011
Graph transformation rule --- правило преобразования графа.
A graph transformation rule [math]\displaystyle{ r: \; L \rightarrow R }[/math] is a partial graph morphism from [math]\displaystyle{ L }[/math], the left-hand side, to [math]\displaystyle{ R }[/math], the right-hand side of the rule [math]\displaystyle{ r }[/math]. A redex of [math]\displaystyle{ r }[/math] in a graph [math]\displaystyle{ G }[/math] is a total graph morphism [math]\displaystyle{ m: \; L \rightarrow G }[/math] from the left-hand side of the rule to [math]\displaystyle{ G }[/math].