283
edits
Pipe-calculus: Difference between revisions
→Recognition and interpretation
KalmanKeri (talk | contribs) (→Rules) |
KalmanKeri (talk | contribs) |
||
| Line 206: | Line 206: | ||
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 definition == | == Formal definition == | ||