Chapter 5, Computing with Register Machines

Exercise 5.1