283
edits
Pipe-calculus: Difference between revisions
→Normal forms
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 330: | Line 330: | ||
Normal form of pipe-calculus terms is defined by a term rewriting system<ref name="Fokkink"/>. | Normal form of pipe-calculus terms is defined by a term rewriting system<ref name="Fokkink"/>. | ||
Rewrite rules can be applied to any matching subterm of a term. | Rewrite rules can be applied to any matching subterm of a term. | ||
A term is in normal form if no rewrite rule applies to | A term is in normal form if no rewrite rule applies to any of its subterms. | ||
<math> | <math> | ||