Просмотр кода страницы Graph transformation rule

'''Graph transformation rule''' --- правило преобразования графа. 

A '''graph transformation rule''' <math>r: \; L \rightarrow R</math> is a ''partial graph morphism'' from <math>L</math>, the left-hand side, to <math>R</math>, the right-hand side of the rule
<math>r</math>. A '''redex''' of <math>r</math> in a graph <math>G</math> is a ''total graph morphism'' <math>m: \; L \rightarrow G</math> from the left-hand side of the rule
to <math>G</math>.