SKIコンビネータ計算
SKIコンビネータ計算は型無しラムダ計算を単純化した、ひとつの計算モデルである。このモデルは、ある種のプログラミング言語と考えることができるが、人間によるソースコードの記述には適さない（難解プログラミング言語には時折採用される）。その代わり、このモデルは非常に単純なチューリング完全な言語であるため、アルゴリズムの数学理論においては重要である。また関数型言語を実行する抽象機械のモデルとして使っている例もある。

ラムダ計算におけるあらゆる演算は、SKIにおいて3つの定数記号S, KおよびI（これらを"コンビネータ"と呼ぶ）および変数記号によって表現できる。2引数の関数適用演算のみを持つ形式言語の構文木と考えれば、定数記号と変数記号を葉とする二分木と捉えることもできる。 実際には、 I はモデルを簡単にするために導入されたものであり、SKIシステムを展開するにはSとKの2つで十分である。
Q242028
ラムダ計算
Concept
Q2651576
計算モデル
Concept
Q610140
難解プログラミング言語
Concept
Q197970
チューリング完全
Concept
Q8366
アルゴリズム
Concept
Q193076
関数型言語
Concept
Q787114
抽象機械
Concept
Q627921
構文木
Concept
Q380172
二分木
Concept
Q857813
SKIコンビネータ計算
Concept
2020-03-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
3
DATE
2020-02-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2
DATE
2020-02-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2
DATE
+3^^http://www.w3.org/2001/XMLSchema#decimal
3
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
instance of