One-point basis
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/10 14:50 UTC 版)
「コンビネータ論理」の記事における「One-point basis」の解説
すべてのコンビネータがすべてのラムダ項と外延的に等しくなるようなone-point basesが存在する。そのような基底のもっとも単純な例Xはこうである。 X ≡ λx.((xS)K) それを確かめるのは難しくない。 X (X (X X)) =ηβ K and X (X (X (X X))) =ηβ S. {K, S}が基底だから、{X}もまた基底である。プログラミング言語IotaはXをその唯一のコンビネータとして使う。one-point basisのもう一つの簡単な例は X' ≡ λx.(x K S K) with (X' X') X' =β K and X' (X' X') =β S X' はKとSを生成するのにη変換を必要としない。
※この「One-point basis」の解説は、「コンビネータ論理」の解説の一部です。
「One-point basis」を含む「コンビネータ論理」の記事については、「コンビネータ論理」の概要を参照ください。
- One-point basisのページへのリンク