lambda-calculus

1熱度

1回答

好吧，這是一個奇怪的問題，因爲我在這裏有我想要的方式工作。我在做的是爲lambda微積分表達式編寫解析器。因此，一個表達式可以是以下四種情況之一：變量不斷（詞句）（拉姆達variable.expression）現在你可以看到，最後兩個表達式中有表達式。我試圖做的是確定整體表達式，以便我可以報告它是哪種類型。因此，例如表達式（（λx（f1 x））100）是整體的組合。我的想法是在flex到

3熱度

1回答

功能返回值，而不用用給定參數替換變量

sry關於愚蠢的方式我在這裏解釋了這個問題的一些解釋：我正在用javascript進行lambda微積分實驗，並且遇到一些小問題。（你不必知道拉姆達演算任何事情來幫助我）我有這個功能（教會數字1 BTW）： function num1(c) { return function(x){ return c(x); } } alert(num1) 行爲與預期，並給出確切的同樣

1熱度

2回答

圖書館在java中做一些'lambda微積分'

我打算在Java中做一些基本的lambda表達式操作（最好使用類型化的lambda表達式）。是否有我使用的庫（stable或otherwise）？更新：爲了更明確的狀態，我想操縱lambda表達式，例如在一個文件中，我解析了一些lambda表達式，並將它們中的一些組合起來以創建一個新的表達式。基本上，它比函數式編程更多的是解析。

0熱度

1回答

實踐中的Lambda微積分

如何選擇一種語言，實際計算的lambda項（λx.y）（（λx.xxx）（λx.xxx））？換句話說，需要一種語言來減少正常秩序和弱勢系統。

2熱度

1回答

等效的計算模型

我在尋求解釋如何能夠證明計算模型是等價的。我一直在閱讀有關該主題的書籍，但省略了等效證明。我有兩個計算模型等價的意思（自動機視圖：如果他們接受相同的語言）意味着什麼。還有其他的思考等值的方式嗎？如果你能幫助我理解如何證明圖靈機模型等價於lambda演算，那就足夠了。

1熱度

1回答

Lambda微積分與CLISP中的實現

我對函數式編程，lisp和lambda微積分很新穎。我試圖用Common Lisp Lambda Calc風格實現AND運算符。維基百科： AND：=λp.λq.pqp 到目前爲止，這是我的代碼： (defvar TRUE #'(lambda(x)#'(lambda(y)x))) (defvar FALSE #'(lambda(x)#'(lambda(y)y))) (defun OPAND

1熱度

1回答

Lambda微積分CONS對利用Lisp實現

我正在嘗試實施教會對Lambda Calc。風格與CLisp。維基百科據： pair ≡ λx.λy.λz.z x y 到目前爲止，這是我的代碼： (defvar PAIR #'(lambda(x) #'(lambda(y) #'(lambda(z) (funcall (funcall z x) y))))) 這是我

3熱度

1回答

CLISP Lambda微積分Div執行

我試圖用clisp Lambda Calc實現一個Division功能。風格我從this站點讀取的分割的lambda表達式爲：（。λgqabLT AB（PAIR QA）（克（SUCC Q）（SUB AB）b））的 ÿ0 這些真假 (defvar TRUE #'(lambda(x)#'(lambda(y)x))) (defvar FALSE #'(lambda(x)#'(lambda(y)y))

1熱度

1回答

Lisp的IF-THEN-ELSE LAMBDA計算器實現

我做了這個IF-THEN-ELSE演算代碼 (defvar IF-THEN-ELSE #'(lambda(con) #'(lambda(x) #'(lambda(y) #'(lambda(acc1) #'(lambda (acc2) (funcall (funcall (funcall (funcall co

4熱度

3回答

Python：嵌套lambdas - `s_push：解析器堆棧溢出內存錯誤`

我最近偶然發現了this article，它描述瞭如何在Ruby中僅使用Procs編寫FizzBuzz，並且自從我感到無聊以來，認爲它會很好地嘗試和實現Python中使用lambda表達式的同一件事。我到您創建使用嵌套函數的數字部分，並寫了下面的Python腳本： #!/usr/bin/env python zero = lambda p : (lambda x: x) one = l