Abstract
Thes n m function defined in the iteration theorem is shown to be quite subelementary through the use of stateless Turing machines. This means that recursion theorems can be used subrecursively with no change in computational complexity.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have