小编Ann*_*nna的帖子

如何在Mathematica中为组合器{S,K,I}实施正常的减少策略？以下是规则:S [x] [y] [z] - > x [y] [z [y]] K [x] [y] [z] - > x

我们还有一个Y组合子(定点),因此Y [a] = a [Ya]].

我们必须"评估"表达式,例如,S [K] [K] [a] = K [a] [K [a]] = a

减少一步是非常重要的.因此,结果将在应用程序中多次执行一次..

感谢您对任何建议的期待!