域的性质本节使用文献的方法,介绍迭代和递归。序关系作为预备知识,我们先考察程序之间序关系的性质。定义 P Q P ∪Q=P。这意味着Q是一个比P更确定的程序。Q能做的事情,P也能做,而Q不能做的事情,P也可能不能做。因此,无论从那一点来看,...域的性质本节使用文献的方法,介绍迭代和递归。序关系作为预备知识,我们先考察程序之间序关系的性质。定义 P Q P ∪Q=P。这意味着Q是一个比P更确定的程序。Q能做的事情,P也能做,而Q不能做的事情,P也可能不能做。因此,无论从那一点来看,Q是一个比P更能预测、更能控制的程序。展开更多
