Pipe-calculus: Difference between revisions

Pipe-calculus (view source)

33 bytes removed , 6 May 2023

283

edits

@@ Line 204: / Line 204: @@
 \def\eq{ = ~}
 \def\rule{ ::= ~}
+\def\rew{\Rightarrow}
 </math>
 <math>
 \begin{alignat}{1}
-a \pto s \seq t \Rightarrow a \pto (s \seq t) \\
+(s \seq t) \seq u \rew & s \seq (t \seq u) \\
-a \nto s \seq t \Rightarrow a \nto (s \seq t) \\
+(s \alt t) \seq u \rew & s \seq u \alt t \seq u \\
-(s \seq t) \seq u \Rightarrow & s \seq (t \seq u) \\
+\succeed \seq s \rew & s \\
-(s \alt t) \seq u \Rightarrow & s \seq u \alt t \seq u \\
+\fail \seq s \rew & \fail \\
 \end{alignat}
 </math>