DPRM_Theorem.RegisterMachineSpecification