上海交通大学学报

上海交通大学学报（自然版） ›› 2012, Vol. 46 ›› Issue (04): 620-623.

• 自动化技术、计算机技术 • 上一篇    下一篇

基于可计算函数的C模型互模拟性质

姜梦稚1,2，赵风景2   

  1. (1.上海交通大学 计算机工程系， 上海 200240； 2.上海电机学院 电子信息学院， 上海 200240)
  • 收稿日期:2011-08-03 出版日期:2012-04-28 发布日期:2012-04-28

Bisimulation Research on C Model Embedded with Computable Function

 JIANG  Meng-Zhi-1, 2 , ZHAO  Feng-Jing-2   

  1. (1. Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai 200240, China; 2. School of Electronic and Information, Shanghai DianJi University, Shanghai 200240, China)
  • Received:2011-08-03 Online:2012-04-28 Published:2012-04-28

摘要： 针对嵌入可计算函数的C模型语法中没有Summation操作符，定义了Prime Process概念，并给出进程范式化过程以及有限公理系统，研究在扩展C模型后的绝对表达能力.结果表明，在引入Localization和多元操作符后，该模型可以方便地定义出Prefix、Replication和Choice操作符.

关键词: C模型, 互模拟, 偏序, 绝对表达能力

Abstract:  In C model embedded with computable functions, there is no Summation operator. So this paper defined new concept of prime process and gave out the normalization process and finite axioms system. Then it provided a model with localization and polydic operators. With the help of these extra features, the Prefix, Replication and Choice operators can be defined conveniently.

Key words: computability model, bisimulation, preorder, absolute expressiveness

中图分类号: