λ-演算到π-演算的一種編碼
發(fā)布時間:2021-04-08 05:59
人類發(fā)展的歷史,就是解決問題的歷史。計算機的出現(xiàn),加快了人類解決問題的速度,也帶來了與之相對應的問題。在一些反復出現(xiàn)的問題上,人們試圖找出最優(yōu)的解決方案,以期可以達到最快解決問題的目的。在尋找解決方案的過程中,數(shù)學模型成為了其中的關鍵。人們把問題的求解分為兩個階段:先將問題建模成數(shù)學模型,再對數(shù)學模型進行求解。在這種情況下,許許多多優(yōu)秀的數(shù)學模型被提了出來,其中包括圖靈機和λ-演算。事實上,兩者的表達能力是等價的。隨著計算機科學的發(fā)展,并行逐漸代替串行成為了主流的研究對象。串行計算有圖靈機和λ-演算作為完備的模型可以進行科學研究,而并行計算卻沒有與之相對應的計算模型。為了解決這一問題,Milner提出了CCS,同時Hoare提出了CSP,兩者都是優(yōu)秀的并行計算模型。然而,這兩個模型都不能完美的刻畫并行計算的性質,原因在于靜態(tài)的結構和不支持通信。在十九世紀八十年代末,Milner在CCS的基礎上提出了一個表達能力更強的完備的并行計算模型—π-演算。但隨之而來的問題是串行計算的模型和并行計算的模型之間的表達能力的關系。很容易知道,并行計算的模型可以對串行計算的模型進行編碼,從而找出表達能力...
【文章來源】:上海交通大學上海市 211工程院校 985工程院校 教育部直屬院校
【文章頁數(shù)】:53 頁
【學位級別】:碩士
【文章目錄】:
摘要
ABSTRACT
第一章 緒論
1.1 研究背景和意義
1.2 國內外研究現(xiàn)狀
1.3 研究內容和成果
1.4 論文結構
第二章 λ-演算和π-演算
2.1 λ-演算
2.2 π-演算
2.3 Milner的編碼體系
2.4 蔡小娟和傅育熙的編碼體系
第三章 計算模擬匹配和失配
3.1 靈感和基本原理
3.2 用匹配模擬失配(第一次嘗試)
3.3 用通信模擬匹配(第二次嘗試)
3.4 消去常名的干擾(第三次嘗試)
3.5 用私有名進行通信(最終版本)
3.6 編碼生成
第四章 編碼體系下相關性質
4.1 同斂散性
4.2 弱互模擬關系
4.3 從λ-演算到π-演算的編碼
第五章 總結和未來展望
5.1 總結
5.2 未來展望
參考文獻
致謝
攻讀學位論文期間發(fā)表的學術論文目錄
本文編號:3124990
【文章來源】:上海交通大學上海市 211工程院校 985工程院校 教育部直屬院校
【文章頁數(shù)】:53 頁
【學位級別】:碩士
【文章目錄】:
摘要
ABSTRACT
第一章 緒論
1.1 研究背景和意義
1.2 國內外研究現(xiàn)狀
1.3 研究內容和成果
1.4 論文結構
第二章 λ-演算和π-演算
2.1 λ-演算
2.2 π-演算
2.3 Milner的編碼體系
2.4 蔡小娟和傅育熙的編碼體系
第三章 計算模擬匹配和失配
3.1 靈感和基本原理
3.2 用匹配模擬失配(第一次嘗試)
3.3 用通信模擬匹配(第二次嘗試)
3.4 消去常名的干擾(第三次嘗試)
3.5 用私有名進行通信(最終版本)
3.6 編碼生成
第四章 編碼體系下相關性質
4.1 同斂散性
4.2 弱互模擬關系
4.3 從λ-演算到π-演算的編碼
第五章 總結和未來展望
5.1 總結
5.2 未來展望
參考文獻
致謝
攻讀學位論文期間發(fā)表的學術論文目錄
本文編號:3124990
本文鏈接:http://sikaile.net/kejilunwen/jisuanjikexuelunwen/3124990.html
最近更新
教材專著