求解归约与归纳的不同

　　规约

　　推导的逆过程称为规约。规约就是选择一个文法规则：X→ABC,依次从栈顶弹出C、B、A，再将X压进栈。规范规约是文法中句子的一个最右推导的逆过程，而最左推导对应的是最右规约。

　　另外在程序设计中的规约：∏和∏'是两个判定性问题,如果存在一个确定性算法A使得对于一个∏的实例I,A可以将I在多项式时间里转换成∏'的实例P,使得I得到肯定的回答,当且仅当I'得到肯定回答,则称∏在多项式时间里规约到∏',记为∏∝poly∏'.

　　归纳

　　所谓归纳，是指通过对特例的分析来引出普遍结论的一种推理形式。它由推理的前提和结论两部分构成：前提是若干已知的个别事实，是个别或特殊的判断、陈述，结论是从前提中通过推理而获得的猜想，是普遍性的陈述、判断。其思维模式是：设Mi（i=1，2，…，n）是要研究对象M的特例或子集，若Mi（i=1，2，…，n）具有性质P，则由此猜想M也可能具有性质P。

　　如果=M，这时的归纳法称为完全归纳法。由于它穷尽了被研究对象的一切特例，因而结论是正确可靠的．完全归纳法可以作为论证的方法，它又称为枚举归纳法。

　　如果是M的真子集，这时的归纳法称为不完全归纳法。由于不完全归纳法没有穷尽全部被研究的对象，得出的结论只能算猜想，结论的正确与否有待进一步证明或举反例。