283
edits
Pipe-calculus: Difference between revisions
→Syntax
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) (→Syntax) |
||
| Line 87: | Line 87: | ||
<ref>Adding new actions and the respective rules and equations is a typical way of extending pipe-calculus.</ref> | <ref>Adding new actions and the respective rules and equations is a typical way of extending pipe-calculus.</ref> | ||
'''Sequences''' are ordered lists of | '''Sequences''' are ordered lists of actions. The symbol <math>\textbf{0}</math> denotes an empty sequence which can be interpreted as successful termination. | ||
'''Nondeterministic choice''' is an enumeration of alternatives. <math>\textbf{fail}</math> denotes the lack of choices, or intuitively a failure to find any viable alternative. | '''Nondeterministic choice''' is an enumeration of alternatives. <math>\textbf{fail}</math> denotes the lack of choices, or intuitively a failure to find any viable alternative. | ||