方法：检索收集有关文献，综合归纳整理。
Method:TO search, collect and synthesize the related literatures.
自顶向下的归纳程序综合基于枚举识认方法。
The top-down inductive program synthesis is based on the method of identification by enumeration.
本文运用分析、归纳、比较、综合的研究方法。
This thesis mainly USES methods of analysis, summarized, compared and integrated.
应用推荐