283
edits
Pipe-calculus: Difference between revisions
→Normal form
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 223: | Line 223: | ||
\succeed \alt s \rew & \succeed \\ | \succeed \alt s \rew & \succeed \\ | ||
s \alt \succeed \rew & \succeed \\ | s \alt \succeed \rew & \succeed \\ | ||
\\ | |||
\pos a \seq s \pipe \neg a \seq t \rew & s \pipe t \\ | |||
s \pipe t \rew & \fail ~ otherwise \\ | |||
\end{alignat} | \end{alignat} | ||
</math> | </math> | ||
Differently from other combinators, <math>\pipe</math> has a default rule, | Differently from other combinators, rules for <math>\pipe</math> has to be attempted in the listed order. As it has a default rule, <math>\pipe</math> never occurs in normal forms. (This is only a technical detail. Rewrite rules can be defined without overlapping but it requires more cases.) | ||
== Connection with process calculus == | == Connection with process calculus == | ||