synthesis hypothesis
合成的假设
以上为机器翻译结果，长、整句建议使用 人工翻译 。
With the inductive program synthesis system NDIPS, this paper presents its synthesis algorithm, the organization of its hypothesis space and the search strategies it adopted.
本文以归纳程序综合系统NDIPS为背景，介绍自顶向下的归纳程序综合算法，以及程序假设空间的组织、搜索所采用的技术和策略。
youdao
应用推荐
模块上移
模块下移
不移动