283
edits
Pipe-calculus: Difference between revisions
→Variants and computational power
KalmanKeri (talk | contribs) m (→Motivation) |
KalmanKeri (talk | contribs) |
||
| Line 50: | Line 50: | ||
The most simple variant of the calculus that is lacking variables and scoped constructs is called '''zero-order'''. | The most simple variant of the calculus that is lacking variables and 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 and | 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 and other constructs. The computational power of specific variants of the calculus is also an interesting question. | ||
== Zero-order calculus == | == Zero-order calculus == | ||