283
edits
Pipe-calculus: Difference between revisions
m
→Formal Definition
KalmanKeri (talk | contribs) (→Rules) |
KalmanKeri (talk | contribs) |
||
| Line 183: | Line 183: | ||
One can also think of <math>s \rhd t</math> in a syntactic setting. In this case <math>s</math> represents ''input'' or ''source'', while <math>t</math> plays the role of a ''recognizer'', ''parser'' or ''interpreter''. | One can also think of <math>s \rhd t</math> in a syntactic setting. In this case <math>s</math> represents ''input'' or ''source'', while <math>t</math> plays the role of a ''recognizer'', ''parser'' or ''interpreter''. | ||
== Formal | == Formal definition == | ||
=== Syntax === | === Syntax === | ||