• 1. “在执行完有限步之后结束，且每一步的执行时间也都是有限的”提现的是算法的。