283
edits
Pipe-calculus: Difference between revisions
→The pipe combinator
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 119: | Line 119: | ||
Compared to the parallel composition <math>\mid</math> in [[Wikipedia:π-calculus|π-calculus]], <math>\rhd</math> can be classified as unidirectional parallel composition. | Compared to the parallel composition <math>\mid</math> in [[Wikipedia:π-calculus|π-calculus]], <math>\rhd</math> can be classified as unidirectional parallel composition. | ||
<math>\rhd</math> does not occur in the normal form of closed terms. | |||
Synchronisation and communication | Synchronisation and communication | ||
< | A [[Wikipedia:Pipeline_(Unix)|pipeline]] in shell programming is a good analogy for the pipe combinator. Piped programs execute concurrently. It cannot occur that in <code>P1 | P2</code> the output of <code>P1</code> directly reaches the output of the pipeline. | ||
One can also think of <math>\rhd</math> in a syntactic setting. In this case the left hand side operand represents ''input'', while the right hand side operand plays the role of a ''recognizer'', ''parser'' or ''interpreter''. | One can also think of <math>\rhd</math> in a syntactic setting. In this case the left hand side operand represents ''input'', while the right hand side operand plays the role of a ''recognizer'', ''parser'' or ''interpreter''. | ||