283
edits
Pipe-calculus: Difference between revisions
→Variants
KalmanKeri (talk | contribs) No edit summary |
KalmanKeri (talk | contribs) |
||
| Line 12: | Line 12: | ||
Pipe-calculus is meant to be an extensible framework. Extensions add various features to the basic calculus. One such important feature is the inclusion of variables. Variants without variables and any kind of scoped construction are called '''zero-order'''. | Pipe-calculus is meant to be an extensible framework. Extensions add various features to the basic calculus. One such important feature is the inclusion of variables. Variants without variables and any kind of scoped construction are called '''zero-order'''. | ||
Somewhat surprisingly, even the zero-order calculus has a limited computational power. On the other end of the scale there are '''higher-order''' variants where variables can | Somewhat surprisingly, even the zero-order calculus has a limited computational power. On the other end of the scale there are '''higher-order''' variants where variables can bind arbitrary terms. Intermediate variants can be constructed by extending the basic calculus with recursion and with a stack. | ||
When used as recognizers, extended variants of the calculus can generally recognize more expressive formal languages. | When used as recognizers, extended variants of the calculus can generally recognize more expressive formal languages. | ||