DPRM_Theorem.RegisterMachineSimulation