283
edits
Pipe-calculus: Difference between revisions
→Syntax
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) (→Syntax) |
||
| Line 106: | Line 106: | ||
\begin{alignat}{2} | \begin{alignat}{2} | ||
& \mbox{Atoms}~ | & \mbox{Atoms}~ & a, b \rule & \mathsf{A} \mid \mathsf{B} \mid \mathsf{'foo} \mid \mathsf{'bar} \mid ... \\ | ||
& \mbox{ | & \mbox{Variables}~ & \alpha, \beta \rule & \mathsf{v} \mid \mathsf{w} \mid ... \\ | ||
& \mbox{Terms}~ | & \mbox{Prefixes}~ & p, q \rule & a^+ \mid a^- \mid ~?\alpha \mid ~!s \\ | ||
& \mbox{Terms}~ & s, t \rule & ~ | |||
p . s | p . s | ||
\mid s \seq t \mid \succeed | \mid s \seq t \mid \succeed | ||
\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 \alpha | |||
\mid (s) | \mid (s) | ||
\end{alignat} | \end{alignat} | ||