283
edits
Pipe-calculus: Difference between revisions
→Syntax
KalmanKeri (talk | contribs) (→Syntax) |
KalmanKeri (talk | contribs) (→Syntax) |
||
| Line 108: | Line 108: | ||
& \mbox{Atoms}~ & a, b \rule & \mathsf{A} \mid \mathsf{B} \mid \mathsf{'foo} \mid \mathsf{'bar} \mid ... \\ | & \mbox{Atoms}~ & a, b \rule & \mathsf{A} \mid \mathsf{B} \mid \mathsf{'foo} \mid \mathsf{'bar} \mid ... \\ | ||
& \mbox{Variables}~ & | & \mbox{Variables}~ & x, y \rule & \mathsf{a} \mid \mathsf{b} \mid ... \\ | ||
& \mbox{Prefixes}~ & p, q \rule & a^+ \mid a^- \mid ~? | & \mbox{Prefixes}~ & p, q \rule & a^+ \mid a^- \mid ~?x \mid ~!s \\ | ||
& \mbox{Terms}~ & s, t \rule & ~ | & \mbox{Terms}~ & s, t \rule & ~ | ||
| Line 117: | Line 117: | ||
\mid s \mathsf{|} t \mid \fail | \mid s \mathsf{|} t \mid \fail | ||
\mid s \pipe t \mid \pass | \mid s \pipe t \mid \pass | ||
\mid | \mid x | ||
\mid (s) | \mid (s) | ||
\end{alignat} | \end{alignat} | ||