| 递归函数的π可定义性及其实现研究 |
| |
| 引用本文： | 颜锋,陈韬略,韩婷婷,吕建. 递归函数的π可定义性及其实现研究[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 维普 万方数据 等数据库收录！ |
