命令式語言中遞迴的理論基礎

時間 2021-05-29 22:57:52

1樓:

命令式語言的遞迴不需要理論基礎。

比如說有我們呼叫乙個求加法的函式:

01 : ...

02 : 引數2入棧

03 : 引數1入棧

04 : call 第20行

05 : ...

0620 : 引數1出棧

21 : 引數2出棧

22 : 求和

23 : 返回

實際程式比這個複雜一點,但是原理大概是這樣的。

所謂的函式呼叫,就是在第四行的時候把程式執行到的位置入棧,跳轉到第20行,等函式呼叫執行完了遇到ret的時候,再把這個位置出棧,接著原來的位置繼續執行。

所以函式在呼叫的時候,呼叫自己和呼叫其他函式除了call的位置不一樣沒有本質區別。至於call的是不是自己所在的函式,計算機都不用管。

之所以有 Y combinator,是因為科學家說 lambda 演算和圖靈機等價,在用 lambda 演算表達程式的時候為了表達遞迴而搞出來的。圖靈機天然可以遞迴,不需要 Y combinator。

2樓:張帥

與其說是命令式不如說是馮諾依曼式。所以想想看圖靈機的程式是怎麼跳轉的?就是直接 goto 過去了啊,人家壓根就沒有函式的概念啊。

程式語言中的函式是自己抽象上去的啊,所以才有呼叫約定啊,堆疊啊之類的東西啊,就是為了儲存現場好從函式呼叫中返回回來啊。所以對於這些語言,遞迴呼叫和非遞迴呼叫沒區別啊。

就是這樣……

3樓:

不是雞生蛋,蛋生雞的問題,這裡一切都要回到硬體上的,而硬體上的東西是已經定義好了的。你可以理解為公理,在這之上構建出整個系統。

西方寫實藝術的理論基礎是什麼?

藝術這種東西的門道和科學存在極大的差異。藝術家和藝術理論家基本上不是同一種物種,只有極少數牛人能同時在這兩個領域自由翱翔。在大多數情況下,高明的藝術家都不是高明的藝術理論家,反過來也亦然。不能用理解自然科學的思維去理解藝術與圍繞藝術產生的理論之間的關係。真正畫畫畫的好的人寫藝術批評文章基本都搞不過那...

6415的和弦走向有什麼和聲學的理論基礎?

ZDH 僅從自然大調角度分析。6415有幾個近親 1564 1415 6451。都是自身迴圈 先看1564,全稱1 5 6m 4。主和弦開頭當然 然後向外發展,主 屬也正常 屬接主,但1 5 1就比較單調而且有提前終止之嫌,3m對比感不強 也有使用的 6m比較合適。6m作為代主tsvi,接它的屬或下...

拍痧到底有沒有中醫的相關理論基礎

皇不留行 感覺和刮痧差不多。原理傳統的十二皮部理論能解釋一部。不過刮痧正規都很少用。皮部論 黃帝問曰 餘聞皮有分部,脈有經紀,筋有結絡,骨有度量,其所生病各異。別其分部,左右上下,陰陽所在,病之始終,願聞其道。岐伯對曰 欲知皮部以經脈為紀者,諸經皆然。陽明之陽,名曰害蜚,上下同法,視其部中有浮絡者,...