下面关于程序和算法的说法正确的是（）。

A. 算法的每一步骤必须要有确切的含义，必须是清楚的、无二义的。
B. 程序是算法用某种程序设计语言的具体实现。
C. 程序总是在有穷步的运算后终止。
D. 算法是一个过程，计算机每次求解是针对问题的一个实例求解。