5 Computing with Register Machines