1) reduction
归约法
1.
The paper introduces several important notions such as uncountability and halting problem firstly,the fact is proved by contradiction that halting problem is impossible problem,and the same to other relative issues in computer is proved by reduction.
本文先介绍了不可数性和停机问题等重要概念,用反证法证明了停机问题是不可解的,并使用归约法对计算机中的相关问题的不可解性进行了证明。
2) problem reduction method
问题归约法
3) reduction
归约
1.
New reduction method for the differential-algebraic system;
微分代数方程系统的一类新的归约方法
2.
Flexible Process Model in Reduction;
基于归约的柔性工艺过程模型
3.
Research on Geometric Constraint Solver Based on the Point-cluster Reduction;
基于点簇归约的几何约束求解器研究
4) reduce
归约
5) reduce/reduce conflict
归约/归约冲突
6) Structure generalization
结构归约
参考词条
补充资料：约法
【约法】
（术语）就教法上而谈也。对约机而言。
（术语）就教法上而谈也。对约机而言。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。