2018 October 17,
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?)