Pi演算对图灵机的表达
为了研究Pi 演算的表达能力,试着用它来表达图灵机。研究结果表明,只要对Pi 演算进行一定的的扩展,即引入某些函数符号,允许对发送的名字作一定的运算,就可以用Pi演算的规约来表达图灵机的运算过程。
Pi演算 表达能力 图灵机 函数符号
郝克刚 郭小群
西北大学信息科学与技术学院,陕西,西安,710069
国内会议
哈尔滨
中文
53-55
2009-08-07(万方平台首次上网日期,不代表论文的发表时间)
Pi演算 表达能力 图灵机 函数符号
郝克刚 郭小群
西北大学信息科学与技术学院,陕西,西安,710069
国内会议
哈尔滨
中文
53-55
2009-08-07(万方平台首次上网日期,不代表论文的发表时间)