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.
Download Full PDF