Primitive Recursion and – Recursivity

Primitive Recursion and – – Recursivity

Date of Online Publication: 22/12/2006
Keywords: Recursive Functions Theory, Mathematical Analysis, Automata Theory.
Authors: A. Garrido
Pages: 273-280
We analyze the different types of recursivity and their mutual relationships. Finally, we will use the Ackermann – Peter function to prove that the – recursivity does not imply the primitive recursion, a fact with crucial consequences in Automata Theory.


Scroll to Top