会议专题

Pi演算对图灵机的表达

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

Pi演算 表达能力 图灵机 函数符号

郝克刚 郭小群

西北大学信息科学与技术学院,陕西,西安,710069

国内会议

2009年全国理论计算机科学学术年会

哈尔滨

中文

53-55

2009-08-07(万方平台首次上网日期,不代表论文的发表时间)