λ-演算到π-演算的一種編碼.pdf_第1頁
已閱讀1頁,還剩52頁未讀 繼續(xù)免費閱讀

下載本文檔

版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領

文檔簡介

1、人類發(fā)展的歷史,就是解決問題的歷史。計算機的出現(xiàn),加快了人類解決問題的速度,也帶來了與之相對應的問題。在一些反復出現(xiàn)的問題上,人們試圖找出最優(yōu)的解決方案,以期可以達到最快解決問題的目的。在尋找解決方案的過程中,數(shù)學模型成為了其中的關鍵。人們把問題的求解分為兩個階段:先將問題建模成數(shù)學模型,再對數(shù)學模型進行求解。在這種情況下,許許多多優(yōu)秀的數(shù)學模型被提了出來,其中包括圖靈機和λ-演算。事實上,兩者的表達能力是等價的。
  隨著計算機

2、科學的發(fā)展,并行逐漸代替串行成為了主流的研究對象。串行計算有圖靈機和λ-演算作為完備的模型可以進行科學研究,而并行計算卻沒有與之相對應的計算模型。為了解決這一問題,Milner提出了CCS,同時Hoare提出了CSP,兩者都是優(yōu)秀的并行計算模型。然而,這兩個模型都不能完美的刻畫并行計算的性質,原因在于靜態(tài)的結構和不支持通信。在十九世紀八十年代末,Milner在CCS的基礎上提出了一個表達能力更強的完備的并行計算模型—π-演算。
 

3、 但隨之而來的問題是串行計算的模型和并行計算的模型之間的表達能力的關系。很容易知道,并行計算的模型可以對串行計算的模型進行編碼,從而找出表達能力之間的關系。Milner在提出π-演算的同時,就給出了一種可以刻畫簡單的λ-演算的解決方案。但是這一方案存在著非常大的局限性,體現(xiàn)在不能刻畫所有的四種歸約策略。蔡小娟和傅育熙則另辟蹊徑,利用更為強大的帶匹配和失配算符的π-演算變種,以編程的方式實現(xiàn)了從λ-演算到π-演算的編碼。這一方案雖然給出了

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
  • 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
  • 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論