Computation and Computability homework