明日のテストは・・・

計算モデル論とVLSI工学。

計算モデル論の過去問げきむ。

以下の関数を使って、帰納的に剰余(mod(x,y))を考えてみた。
succ(x)=x+1
pred(x)=x-1
sub(x,y)=x-y
mod(x,y)=┳ x (x=0)
┗┳ 1+mod(x-1,y) (mod(x-1,y)-y+1≠0)
┗ 0こんな風になるんでって。
これをλ計算に当てると、

R≡λxy.Zx0(Z(S(X(R(Px)y)y))0(S(R(Px)y)))

って感じになんのかな？
0≡λxy.y,[S:succ(x)],[P:pred(x)],[X:sub(x,y)]
Zx(x:=0)->[T:λxy.x],Zx(x≠0)->[F:λxy.y]

複雑。難解。おかげさまでVLSI工学の勉強に手がまわらない（；゜д゜）。