形式语义归纳原理.pptVIP

程序设计语言的 形式语义 The Formal semantics of Programming Languages  第三章归纳原理 ☆第二章遗留的问题 自然语义 对任意的命令c和初始状态σ,至多存在一个终止状态 使得C,0→0? 结构化操作语义 对任意的命令c和初始状态σ,至多存在一个终止状态 使得C,0→0? 自然语义描述与结构化操作语义描述的等价性?  第三章归纳原理 良基归纳法 数学归纳法结构归纳法 结构归纳法的一般形式 规则归纳法 以操作语义为例,使用归纳法证明一些与操作语义相 关的性质,从而对操作语义有更深入的理解;并为指称 语义的学习打下基础。  3.1数学归纳法 今数学归纳法 自然数集N是对0和后继运算封闭的最小集 0= 1=0=∞∪{x}={}={0 2=1={0)∪{{0)}={0,(0}}={0,1} 3=2={0,1}∪{0,1}}={0,1,2} n={0,1,…,n-1  3.1数学归纳法 设P)是与自然数N有关的性质 数学归纳法 ρ要证明性质P(n)对所有的自然数n∈N成立,则只要证明 P(0)成立; 对任意的k∈N,P(k)成立蕴涵P(k+1)也成立。 第二数学归纳法 ●证明性质P(m)对所有的自然数n∈N成立,则只要证明 对任意的m∈N,若比m小的自然数都有P(k)成立