283
edits
Pipe-calculus: Difference between revisions
m
→Connection to other fields
KalmanKeri (talk | contribs) (→Syntax) |
KalmanKeri (talk | contribs) |
||
| Line 36: | Line 36: | ||
=== Connection to other fields === | === Connection to other fields === | ||
Pipe-calculus is examined primarily as a process calculus. | Pipe-calculus is examined primarily as a process calculus. Although it significantly differs from typical process calculi, it lends itself to this style of presentation. | ||
Its development is also inspired by logic programming, formal grammars, automata theory, type theory (up to the lambda-cube) and algebraic effects. | Its development is also inspired by logic programming, formal grammars, automata theory, type theory (up to the lambda-cube) and algebraic effects. | ||
In certain cases the connection | In certain cases the connection can be made more precise. | ||
* Programs written in pipe-calculus can recognize and generate words of formal languages encoded as terms. I'm interested in finding correspondence between variants of pipe-calculus and classes of formal languages. | * Programs written in pipe-calculus can recognize and generate words of formal languages encoded as terms. I'm interested in finding correspondence between variants of pipe-calculus and classes of formal languages. | ||