UnlimitedRegisterMachine