关于算法特性描述正确的有（ ）。

A、算法保证计算结果的正确性
B、组成算法的指令可以有限也可能无限
C、算法描述中下一步执行的步骤不确定
D、算法的有穷性指算法必须在有限步骤内结束