基于π演算的编程与表达能力研究
π演算是由Milner、Parrow和Walker基于CCS演算提出的能够描述并发计算的模型。它是目前最重要的进程演算,因此其它模型与它之间的表达能力比较有着重要意义:对于一些顺序计算模型,如果能找到它们在π演算中的编码,那么我们可以从并发的角度来研究顺序计算;对于一些看似比π演算能描述更多现象的计算模型,比如能够描述移动设备上的移动计算的Ambient演算,如果能够找到它们在π演算中的编码,那么就进一步证明了π演算的表达能力。这样的问题一些已有了答案,而一些仍然悬而未决,其中比较著名的就是λ演算在π演算中是否存在编码的问题。本文运用基于π的编程提出一个解决上述问题的统一方法:即将其它模型的语法语义用程序解释,然后再用π演算进行编程,从而得到由其它模型到π演算的编码。这样的方法简单直接,我们用这种方法找到了λ演算在π演算中的编码,并研究了MA演算在π中的编码。我们相信此方法可以用来解决更多模型与π演算之间的表达能力比较问题。本文
(本文共157页)
本文目录 |
阅读全文>>
-
- 统计科学与实践
准确的人口普查职业编码对人普工作具有重要意义,发挥重大作用。本文分析职业编码中信息表述不完整、人工编码效率低...
(本文共2页)
阅读全文>>
-
- 条码与信息系统
...
(本文共1页)
阅读全文>>
-
- 汽车与驾驶维修(维修版)
众所周知,大众、奥迪、斯柯达、西亚特和宾利等大众车系的车辆编码众多,因为"刷隐藏功能"和原厂增配升级的流行,使得大众车系给人一种"无控制单元不编码"的感觉。而且...
(本文共4页)
阅读全文>>
-
- 检察风云
2024北京小客车指标办发布消息,截至2018年6月8日24时,普通小客车指标申请个人共有2808047个有效编码,2...
(本文共1页)
阅读全文>>
-
- 中国自动识别技术
...
(本文共1页)
阅读全文>>