Pipe-calculus: Difference between revisions

Pipe-calculus (view source)

48 bytes added , 6 May 2023

283

edits

@@ Line 74: / Line 74: @@
 \def\pto{\mathrel{\to\mkern-18mu\vcenter{\hbox{$\scriptscriptstyle|$}\mkern11mu}}}
 \def\nto{\to}
+\def\rule{ ::= ~}
-\begin{alignat}{3}
+\begin{alignat}{2}
-& \mbox{Atoms}~         & a, b & ::= \mathsf{A} \mid \mathsf{B} \mid ... \\
+& \mbox{Atoms}~         & x, z \rule & \mathsf{A} \mid \mathsf{B} \mid ... \\
-& \mbox{Literals}~      & l, m & ::= a \mid \neg a \\
+& \mbox{Literals}~      & l, m \rule & x \mid \neg x \\
-& \mbox{Actions}~ & a, b & ::= \sync l \\
+& \mbox{Variables}~     & v, w \rule & \mathsf{a} \mid \mathsf{b} \\
-& \mbox{Sequences}~     & s, t & ::= a \seq s \mid \null \\
+& \mbox{Actions}~       & a, b \rule & \sync l \\
-& \mbox{Choices}~       & c, d & ::= s \mathsf{|} c \mid \fail \\
+& \mbox{Terms}~      & s, t, u \rule & ~a \mid (s)
+\mid s \seq t \mid \null
-& \mbox{Pipelines}~     & p, q & ::= c \pipe p \mid \pass \\
+\mid s \mathsf{|} t \mid \fail
+\mid s \pipe t \mid \pass \\
 \end{alignat}
 </math>