283
edits
Pipe-calculus: Difference between revisions
→Normal form
KalmanKeri (talk | contribs) (→Syntax) |
KalmanKeri (talk | contribs) |
||
| Line 198: | Line 198: | ||
</math> | </math> | ||
=== Normal | === 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"/>. A term is in normal form if no rewrite rule applies to it. | ||