2018 October 17,

CS 254: Day 16

Carleton College, Joshua R. Davis

A. Problem 5.14.

B. Problem 5.15. (Hint: There is a number m, which your decider can deduce from its input. Your decider can simulate its input for m moves, and then make its decision. What is m? Why?)