结构归纳法

提出一种扩展一阶B型Cooper变换模式，用结构归纳法证明了其正确性，并给出应用示例。

In this paper , an expansive first-order B-type Cooper transformation pattern is presented . Its correctness is proved by the structural induction , and an example is given .

生成测试数据的结构归纳法

Structural Induction for Generating Test Cases

在程序综合方面，利用了结构归纳法原理，从而建立了一种自动综合程序的图式；

An algorithm of automatic synthesis of recursive program using SGD technique and structural induction principle is designed and implemented on FELIX C-256 computer .

利用子目标演绎和结构归纳法的自动编程技术

The dysfunction of oxygen free radical metabolism and overproduction of NO locally might participate in this pathologic process . AN AUTO-PROGRAMMING TECHNIQUE USING SUBGOAL DEDUCTION AND STRUCTURAL INDUCTION

在具体的证明过程中，主要使用的是关于公式结构的归纳法。

In the proving process , we mainly use the induction on the formula structure .