Recursion - Primitive Flashcards
What does it mean if a function is primitively recursive
can be built up using the base functions and the operations of composition and primitive recursion
Primitive recusion base functions
z x = 0
s x = x + 1
projection:
p x y = x & p x y = y
Composition operation
f x y = g ((h1 x y), (h2 x y))
What does it mean for a function to be computable
Godel = Function f is computable iff it is general recursive
general recursive
partial functions taking finite tuples of natural numbers and return a single natural number
What are the primitive recursive functions
x + y
x * y
x ^ y
x !
Ackerman function
Computable but not prim recursive
next values of the function depends on calls with larger parameters