问Unlambda %d函数

EN

我想我需要在unlambda中详细说明D函数是如何工作的。现在，我正在尝试用Y组合器创建一个函数(阶乘)，但它总是导致某种类型的无限循环。或者segfault，这取决于解释器。我非常确定D就是我想要在这里使用的。我试过这个：

``d```sii``sii`.xi

它也有同样的无限循环。有人认为他们可以帮助我理解unlambda中的D吗？

..。

在unlambda表示法中，我的函数是

```s``s``s`ks``s`kki``s``s`ks`ki`ki``s``s`ks``s`kki``s``s`ks`ki`ki``s`k`s``s``s``s``si`k`ki`k``s``si`k`ki`kk`k`ki`k`s`sk``s`k`s``s`ksk``s``s`ksk`k``s``si`k``s``s``s``si`ki`k`ki`k`ki`s``s`ksk`k`k`kk

Y= sss`ksskki``s``skskikissks``skkisskski`ki

阶乘=Y(\xy.0y1(My(x(Sy)

0= sssi`k`ki`kssikkikkk`ki (如果教堂数字为0，则返回K；如果是其他值，则返回KI。)

M= s`ksk (教堂数字的前缀乘数)

S= ssik``s``s``s``sikikkikkis``skskkk`kk (递减教会整数)

我非常确定，如果它是正常评估的，首先是左边，它会起作用，但我不确定。

提前谢谢。