←【情報学基礎Ａ】シラバスへ
←講義のツボメニューへ

情報学基礎Ａ

【第１９回】【2001.1.9】


関数モデル
（７）


Church-Rosserの定理
計算を行う順番が違っていても答えは同じになる。

例）
(λx.x)((λy.y)z)→β(λy.y)z)→z
(λx.x)((λy.y)z)→β(λx.x)z)→z


最左戦略・・・左のβ基から正規化

↓

正規化定理
・・・もしＭが正規形を持てば最左戦略で正規形が得られる。

←【情報学基礎Ａ】シラバスへ