283
edits
Pipe-calculus: Difference between revisions
→Equational theory
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 144: | Line 144: | ||
<math> | <math> | ||
\begin{align} | \begin{align} | ||
s \seq (t \seq u) = & (s \seq t) \seq u \\ | s \seq (t \seq u) = & ~(s \seq t) \seq u \\ | ||
t \seq \null = & \null \seq t = t \\ | t \seq \null = & ~\null \seq t = ~t \\ | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
| Line 153: | Line 153: | ||
<math> | <math> | ||
\begin{align} | \begin{align} | ||
t \mid u = & u \mid t \\ | t \mid u = & ~u \mid t \\ | ||
s \mid (t \mid u) = & (s \mid t) \mid u \\ | s \mid (t \mid u) = & ~(s \mid t) \mid u \\ | ||
t \mid t = & t \\ | t \mid t = & ~t \\ | ||
t \mid \fail = & t \\ | t \mid \fail = & ~t \\ | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
| Line 164: | Line 164: | ||
<math> | <math> | ||
\begin{align} | \begin{align} | ||
(s \mid t) \seq u = & s \seq u \mid t \seq u | (s \mid t) \seq u = & ~s \seq u \mid t \seq u | ||
\end{align} | \end{align} | ||
</math> | </math> | ||