6.2 归纳和余归纳 余归纳定义的数据和函数的性质证明 1、可以用归纳法来证明，例如证明 head(tail)(odd())=head(tail () 2、互模拟 余归纳证明专用方法 -从数学上刻画系统（如对象、进程等）行为等价 这个直观概念 一指两个系统从观测者角度看，可以互相模拟对方 的行为6.2 归纳和余归纳 • 余归纳定义的数据和函数的性质证明 1、可以用归纳法来证明，例如证明 head(tail(n) (odd())) = head(tail(2n) ()) 2、互模拟——余归纳证明专用方法 – 从数学上刻画系统（如对象、进程等）行为等价 这个直观概念 – 指两个系统从观测者角度看，可以互相模拟对方 的行为