8.2 Decidable predicates

Question 1

What is the characteristic function of U

Answer 1

Outputs whether number is in the set or not

Question 2

What makes a predicate U decidable

Answer 2

Is possible to compute characteristic function - ie determine whether in set or not

Question 3

Create a while program to compute the characteristic function of

Answer 3

Question 4

What is the semi-characteristic function

Answer 4

Is allowed to run forever on non-‘yes’ inputs