283
edits
Pipe-calculus: Difference between revisions
→Variants and computational power
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 46: | Line 46: | ||
=== Variants and computational power === | === Variants and computational power === | ||
Pipe-calculus is meant to be an extensible framework. An important extension is the inclusion of variables. | Pipe-calculus is meant to be an extensible framework. An important extension is the inclusion of scoped variables. | ||
The most simple variant of the calculus that is lacking | The most simple variant of the calculus that is lacking any scoped constructs is called '''zero-order'''. | ||
Somewhat surprisingly, even the zero-order calculus has a limited computational power. | Somewhat surprisingly, even the zero-order calculus has a limited computational power. | ||
In the '''higher-order''' calculus there are lexically scoped variables that can bind arbitrary terms. Intermediate variants can be constructed by extending the basic calculus with recursion, among others. The computational power of specific variants of the calculus is also an interesting question. | In the '''higher-order''' calculus there are lexically scoped variables that can bind arbitrary terms. Intermediate variants can be constructed by extending the basic calculus with recursion, among others. The computational power of specific variants of the calculus is also an interesting question. | ||