5.1.1 A Language for Describing Register Machines