CLKとCLI算法
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/10 14:50 UTC 版)
「コンビネータ論理」の記事における「CLKとCLI算法」の解説
この記事で述べているCLK算法とCLI算法は区別されなければならない。これらの区別は、λKとλI算法に対応する。λK算法と違い、λI算法は抽象を以下のように制限する。 λx.E where x has at least one free occurrence in E. λx.Eにおいて、xはEの中で少なくとも一つは自由に出現している。 結果として、KはλIにもCLIにも与えられない。CLIの定数は、I, B, C,Sであり、CLIのすべての項が合成される。λKからCLKへの変換と似たようなルールに合わせ、すべてのλIの項は、等しいCLIに変換される。Barendregt (1984)の第9章を参照されたい。
※この「CLKとCLI算法」の解説は、「コンビネータ論理」の解説の一部です。
「CLKとCLI算法」を含む「コンビネータ論理」の記事については、「コンビネータ論理」の概要を参照ください。
- CLKとCLI算法のページへのリンク