283
edits
Pipe-calculus: Difference between revisions
→Syntax
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) (→Syntax) |
||
| Line 68: | Line 68: | ||
& \mbox{Literals}~ & l, m & ::= a \mid \neg a \\ | & \mbox{Literals}~ & l, m & ::= a \mid \neg a \\ | ||
& \mbox{ | & \mbox{Actions}~ & a, b & ::= \sync l \\ | ||
& \mbox{Sequences}~ & s, t & ::= a \seq s \mid a \mid \null \\ | & \mbox{Sequences}~ & s, t & ::= a \seq s \mid a \mid \null \\ | ||
| Line 84: | Line 84: | ||
<ref>See [[wikipedia:Literal_(mathematical_logic)|Literal (mathematical_logic)]] on literals in general.</ref> | <ref>See [[wikipedia:Literal_(mathematical_logic)|Literal (mathematical_logic)]] on literals in general.</ref> | ||
There is only one kind of ''' | There is only one kind of '''action''', which is '''synchronization'''. | ||
<ref>Adding new | <ref>Adding new actions and the respective rules and equations is a typical way of extending pipe-calculus.</ref> | ||
'''Sequences''' are ordered lists of primary terms. The symbol <math>\textbf{0}</math> denotes an empty sequence. In certain contexts it can be interpreted as success. | '''Sequences''' are ordered lists of primary terms. The symbol <math>\textbf{0}</math> denotes an empty sequence. In certain contexts it can be interpreted as success. | ||