We prove the equivalence between PURM program and computable PTM.

• 我们证明了PURM程序与可计算的PTM之间的等价性。