一、问题的提出一个对象部分地由自己组成或者是按它自己定义的则称为递归.在数学定义中递归是十分有用的工具,例如定义自然数:自然数:(a)1是自然数:(b)自然数的后继是自然数.递归的能力在于有可能用有限的语句来定义对象的无限集合.在...一、问题的提出一个对象部分地由自己组成或者是按它自己定义的则称为递归.在数学定义中递归是十分有用的工具,例如定义自然数:自然数:(a)1是自然数:(b)自然数的后继是自然数.递归的能力在于有可能用有限的语句来定义对象的无限集合.在计算机程序设计中也有这类情形:在定义一个过程或子程序时又引用该过程或子程序本身,这称为递归算法,用这种方法设计的程序称为递归程序.一般地,一个递归程序P可以表示为基语句S_i(不包含P)和P自身的组合β〔S_i P〕.由于递归算法会带来无终止计算的可能性,所以在递归程序中要考虑终止问题,这样递归程序一般表示为:P≡IF B THEN B〔S_i P〕展开更多
文摘一、问题的提出一个对象部分地由自己组成或者是按它自己定义的则称为递归.在数学定义中递归是十分有用的工具,例如定义自然数:自然数:(a)1是自然数:(b)自然数的后继是自然数.递归的能力在于有可能用有限的语句来定义对象的无限集合.在计算机程序设计中也有这类情形:在定义一个过程或子程序时又引用该过程或子程序本身,这称为递归算法,用这种方法设计的程序称为递归程序.一般地,一个递归程序P可以表示为基语句S_i(不包含P)和P自身的组合β〔S_i P〕.由于递归算法会带来无终止计算的可能性,所以在递归程序中要考虑终止问题,这样递归程序一般表示为:P≡IF B THEN B〔S_i P〕