283
edits
Pipe-calculus: Difference between revisions
→Normal forms
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 362: | Line 362: | ||
a^+ . s \pipe a^- . t \rew & s \pipe t \\ | a^+ . s \pipe a^- . t \rew & s \pipe t \\ | ||
\out s . t \pipe \in x . u \rew & t \pipe u[s/x] \\ | \out s . t \pipe \in x . u \rew & t \pipe u[s/x] \\ | ||
s \alt t \pipe u \rew & (s \pipe u) \alt (t \pipe u) \\ | s \alt t \pipe u \rew & (s \pipe u) \alt (t \pipe u) \\ | ||
s \pipe t \alt u \rew & (s \pipe t) \alt (s \pipe u) \\ | s \pipe t \alt u \rew & (s \pipe t) \alt (s \pipe u) \\ | ||