一个算法必须保证它的执行步骤是有限的，即它是能够终止的。这体现了算法特征中的______________。