参考答案：C

解析：

[要点解析] 一个算法要求必须总是在执行有穷步之后结束，且每一步都可在有穷时间内完成。试题中所给出的程序段违反了算法的有穷性性质，理论上将导致过程不可终止。