Professional Documents
Culture Documents
Composition
If we start with the successor function, s(x) then we may
replace its argument, x, with a function.
If we replace the argument, x, with the zero function, z(x)
then the result is the successor of zero.
For example: s(z(x)) = 1, s(s(z(x))) = 2 and so on.
In this way, compounding some of the initial functions can
describe the natural numbers.
The set of all recursive languages is a subset of the set of all recursively
enumerable languages
Conceivably, M could be provided with an output for “no,” but this output
cannot be counted on. Consequently, we simply ignore it.
EXPTIME.
EXPTIME. Problems that can be solved in exponential time.
This class contains most problems you are likely to run into, including
everything in the previous three classes.
It may be surprising that this class is not all-inclusive: there are
problems for which the best algorithms take even more than
exponential time.