SKIコンビネータ計算
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/17 15:40 UTC 版)
SKIコンビネータ計算は型無しラムダ計算を単純化した、ひとつの計算モデルである。このモデルは、ある種のプログラミング言語と考えることができるが、人間によるソースコードの記述には適さない(難解プログラミング言語には時折採用される)。その代わり、このモデルは非常に単純なチューリング完全な言語であるため、アルゴリズムの数学理論においては重要である。また関数型言語を実行する抽象機械のモデルとして使っている例もある[1]。
- ^ D. A. Turner A new implementation technique for applicative languages
- 1 SKIコンビネータ計算とは
- 2 SKIコンビネータ計算の概要
- 3 SKI表現
- 4 直観主義論理との関係
- 5 関連項目
Weblioに収録されているすべての辞書からSKIコンビネータ計算を検索する場合は、下記のリンクをクリックしてください。
全ての辞書からSKIコンビネータ計算を検索
- SKIコンビネータ計算のページへのリンク