s-combinator

1熱度

1回答

您好我無法證明這些組合子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)

5熱度

1回答

Erlang中的S combinator

我開始學習lambda微積分，並且需要在Erlang中實現I，S，K組合器。當然，S，K，I表示： S = λxyz.xz(yz) K = λxy.x I = λx.x 我沒有問題，在紙上理解我= SKK轉換（如這裏介紹：To prove SKK and II are beta equivalent, lambda calculus），但它似乎說到我不明白功能性語言和高階功能... 我能夠做到我

1熱度

1回答

將flip lambda轉換爲SKI條款

我無法將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熱度

2回答

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

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