一个算法应包含有限的操作步骤，而不能是无限的