归纳定义的（inductively-defined）数据集 可以令子问题的获得更为简单。
基于12个网页-相关网页
依超限归纳法的定义 definition by transfinite induction
归纳定义的
Inductive definition
以上为机器翻译结果，长、整句建议使用 人工翻译 。
不过，使用归纳定义的(inductively - defined)数据集可以令子问题的获得更为简单。
Dealing with inductively-defined data sets, however, makes finding the sub-problem considerably easier.
youdao
Actually we could prove inductively that it holds, but how do we know it stops?
这是一种归纳型的定义,事实上我们能够归纳性地证明它？
麻省理工公开课 - 计算机科学及编程导论课程节选
应用推荐
模块上移
模块下移
不移动
