第3章 控制流分析 归纳和余归纳(coinduction) 归纳法 -初始条件、迭代规则、最小化条件 字母表A上的串集A*归纳定义如下 (1)ε∈A*;(2)若a∈A且x∈A*,则ax∈A*;3)除此以 外，A*不含其它元素 余归纳法 迭代规则（循环条件），最大化条件 -流可以通过余归纳法来定义 (1)若t是A上的流且a∈A,则(a,t)也是A上的流； (②)A上的流集是满足上述规则的最大集合第3章 控制流分析 • 归纳和余归纳(coinduction) 归纳法 – 初始条件、迭代规则、最小化条件 – 字母表A上的串集A归纳定义如下 (1) A ; (2)若aA且xA , 则axA ;(3)除此以 外， A不含其它元素 余归纳法 – 迭代规则(循环条件)，最大化条件 – 流可以通过余归纳法来定义 (1) 若t是A上的流且aA，则(a,t)也是A上的流； (2) A上的流集是满足上述规则的最大集合