流程图描述算法的能力是有限的，比如它无法对能够提前终止的循环给出等价描述 ( ) 。