Pi演算对图灵机的表达

摘要：

为了研究Pi 演算的表达能力,试着用它来表达图灵机。研究结果表明,只要对Pi 演算进行一定的的扩展,即引入某些函数符号,允许对发送的名字作一定的运算,就可以用Pi演算的规约来表达图灵机的运算过程。

关键词： Pi演算 表达能力 图灵机 函数符号

作者: 郝克刚 郭小群

作者单位: 西北大学信息科学与技术学院,陕西,西安,710069

会议类型: 国内会议

会议名称: 2009年全国理论计算机科学学术年会

会议地点: 哈尔滨

会议语种:中文

页码: 53-55

在线出版日期: 2009-08-07（万方平台首次上网日期，不代表论文的发表时间）