On the Termination of Non-Deterministic Programs Based on the Equivalent Transformation Computation Model