判断程序与算法有穷性特征的相关表述是否正确

程序不一定满足有穷性，而算法必须满足有穷性的特征。