新型计算模型和序交互的数学计算机科学导论第九讲.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 从归纳到余归纳 互模拟 例：无限表上的odd运算 odd：忽略所有偶数位置的元素后构成的无限表 head(odd(?)) = head(?) tail(odd(?)) = odd(tail(tail(?))) 顺便说一句： ? 从计算的角度，欲求head(odd(?)) 的结果，不能等odd(?)的结果算出后，再交给head函数 (不终止) ? 须用惰性计算的方法：在head函数需要下一个数据时，odd才计算下一个数据并提供给head * 从归纳到余归纳 互模拟 怎样证明余归纳定义的数据和函数的性质 1、某些性质可以用归纳法来证明，例如证明 head(tail(n) (odd(?))) = head(tail(2n) (?)) 2、互模拟——余归纳证明专用方法 从数学上刻画系统（如对象、进程等）行为等价 这个直观概念 指两个系统从观测者角度看，可以互相模拟对方 的行为 * 从归纳到余归纳 互模拟 通过无限表上的例