SKI组合子演算
2024-07-18
SKI组合子演算是一种组合逻辑系统和计算系统，可以被看作是一种编程语言，但它并不适用于编写软件。它在算法的数学理论中很重要，因为它是一种极其简单的图灵完备语言，类似于无类型λ演算的简化版本。所有λ演算中的操作都可以通过抽象消除编码为SKI演算中的二叉树，这些二叉树的叶子是三个符号S、K和I（称为组合子）中的一个。
58