283
edits
Pipe-calculus: Difference between revisions
→Equational theory
KalmanKeri (talk | contribs) (→Syntax) |
KalmanKeri (talk | contribs) |
||
| Line 134: | Line 134: | ||
|} | |} | ||
== Equational theory == | === Equational theory === | ||
The following structural identities are satisfied by all <math>s, t, u</math> pipe-calculus terms. | The following structural identities are satisfied by all <math>s, t, u</math> pipe-calculus terms. | ||
<math> | <math> | ||
\def\seq{\mathrel{;}} | \def\seq{\mathrel{;}} | ||
\def\succeed{\textbf{ | \def\succeed{\textbf{succeed}} | ||
\def\alt{\mid} | \def\alt{\mid} | ||
\def\fail{\textbf{fail}} | \def\fail{\textbf{fail}} | ||