首页 | 本学科首页   官方微博 | 高级检索  
     

递归函数的π可定义性及其实现研究
引用本文:颜锋,陈韬略,韩婷婷,吕建.递归函数的π可定义性及其实现研究[J].小型微型计算机系统,2005,26(10):1749-1753.
作者姓名:颜锋  陈韬略  韩婷婷  吕建
作者单位:南京大学,计算机软件新技术国家重点实验室,江苏,南京,210093
基金项目:国家重点基础研究发展规划“九七三”项目(2002CB312D02)资助;国家自然科学基金(60273034)资助;国家“八六三”项目(2002AA116010)资助;江苏省自然科学基金(BK2002203,BK2002409)资助.
摘    要:并发计算模型是计算机科学研究的重要问题之一.π演算作为一个并发计算模型,是一种重要的移动进程演算,其中的进程通过发送通信链接互相交互.与传统的进程代数如CCS相比,π演算有着更为良好的代数性质和表达能力.正如λ演算能够描述所有的可计算函数,π演算也有同样的能力.本文提出了一个方法,据此可以把自然数和函数描述为进程,从而证明了π演算有足够的能力描述所有的可计算函数,同时还说明了与λ演算相比,π演算有着更高的计算效率.

关 键 词:π演算  λ演算  π可定义性  递归函数
文章编号:1000-1220(2005)10-1749-05
收稿时间:2004-04-20
修稿时间:2004-04-20

π-Definability of Recursive Functions and Implementation Research
YAN Feng,CHEN Tao-lue,HAN Ting-ting,LV Jian.π-Definability of Recursive Functions and Implementation Research[J].Mini-micro Systems,2005,26(10):1749-1753.
Authors:YAN Feng  CHEN Tao-lue  HAN Ting-ting  LV Jian
Affiliation:State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China
Abstract:
Keywords:
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号