k-combinator

1熱度

1回答

我無法將flip的lambda轉換爲SKI combinators（我希望有道理）。這裏是我的轉換： /fxy.fyx /f./x./y.fyx /f./x.S (/y.fy) (/y.x) /f./x.S f (/y.x) /f./x.S f (K x) /f.S (/x.S f) (/x.K x) /f.S (/x.S f) K /f.S (S (/x.S) (/x.f)) K

3熱度

1回答

K組合子的固定點

K組合子是K := (λxy.x)並且固定點組合子是Y := λf.(λx.f x x) (λx.f x x)。我試圖計算YK： YK = (λx.Kxx)(λx.Kxx) = (λx.x)(λx.x) = (λx.x) = I 如此，因爲YK是K固定點：對於任何電子郵件 K(YK) = YK KI = I KIe = Ie = e 。但KIe應該等於I！

3熱度

2回答

爲了證明SKK和II是beta相當的，lambda微積分

我是lambda微積分新手，正努力證明以下幾點。 SKK和II是beta等價物。其中 S =拉姆達xyz.xz（YZ） K =拉姆達xy.x I =拉姆達XX 我試圖測試通過打開它減少SKK，卻得到了不通，它變得混亂。不認爲SKK還可以不擴大S爲減少，K

5熱度

2回答

如何在魔法森林中創建K combinator？（模擬一隻知更鳥）

回想一下K組合函數是一個常量函數。它總是返回第一個參數： Kxy = x for all y 在書中嘲笑一隻知更鳥作者提出含說話的鳥兒的魔法森林的一個例子。這些鳥的行爲如下：給定鳥類A和鳥類B，如果你將B的名字叫做A，那麼A將通過向你呼叫某隻鳥的名字作出迴應：這隻鳥我們將由AB指定。假設森林由三隻鳥類A，B和C組成。是否有可能至少有一隻鳥的行爲像K combinator？下面是一個表格，

13熱度

1回答

（Kestrel）K-combinator：爲什麼它有用？

我最近一直在使用F＃（我的背景是C＃），並正在閱讀網站http://fsharpforfunandprofit.com，我發現這很有幫助。我必須http://fsharpforfunandprofit.com/posts/defining-functions/這是關於combinators的部分。我理解他們所有人（儘管Y combinator或Sage鳥用我的心靈擰緊了！），除了紅隼。斯科特Wl

1熱度

1回答

LAMBDA減少證明S K'= K我

您好我無法證明這些組合子S K'= K我用括號[]中的步驟只是告訴你步驟我在做什麼。例如λyz.xz（yz）中的[λxy.x/ x]表示我將用表達式λyz.xz（yz）中的每個x代替（λxy.x）我到目前爲止所嘗試的是減少SK和我得到這個： S K (λxyz.x z(y z)) (λxy.x) [λxy.x/x] in λyz.x z(y z) (λyz. (λxy.x) z(y z)