Recursion - Primitive Flashcards

1
Q

What does it mean if a function is primitively recursive

A

can be built up using the base functions and the operations of composition and primitive recursion

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Primitive recusion base functions

A

z x = 0
s x = x + 1
projection:

p x y = x & p x y = y

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Composition operation

A

f x y = g ((h1 x y), (h2 x y))

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

What does it mean for a function to be computable

A

Godel = Function f is computable iff it is general recursive

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

general recursive

A

partial functions taking finite tuples of natural numbers and return a single natural number

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

What are the primitive recursive functions

A

x + y
x * y
x ^ y
x !

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Ackerman function

A

Computable but not prim recursive

next values of the function depends on calls with larger parameters

How well did you know this?
1
Not at all
2
3
4
5
Perfectly