283
edits
Pipe-calculus: Difference between revisions
→Normal forms
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 328: | Line 328: | ||
=== Normal forms === | === Normal forms === | ||
Normal form of pipe-calculus terms is defined by a term rewriting system<ref name="Fokkink"/>. A term is in normal form if no rewrite rule applies to it. | 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. | |||
A term is in normal form if no rewrite rule applies to it. | |||
<math> | <math> | ||