|
双模拟及其一些基本性质 |
Two-way Simulations and Some of Its Basic Properties |
|
DOI: |
中文关键词: 双模拟 模拟 互模拟 加标转换系统 |
英文关键词: two-way simulation simulation bisimulation labeled translation system |
基金项目:2012年国家社科基金项目(12BZX060) |
|
|
摘要点击次数: 2031 |
全文下载次数: 3 |
中文摘要: |
模拟和互模拟是分别比同态和同构弱的一对概念,论文给出一个比模拟强但又比互模拟弱的概念——双模拟,并考察与此相关的一些问题:在模拟的基础上,定义"双模拟"的概念,并说明如何从双模拟得到互模拟;证明双模拟的一些基本性质;讨论模拟、互模拟与双模拟之间的关系。 |
英文摘要: |
Simulation and bisimulation are weaker than homomorphism or isomorphism,and this paper intends to give a concept stronger than simulation and weaker than bisimulation-two-way simulations.Thus,this paper firstly gives the notion of two-way simulation based on the simulation,and shows how to obtain bisimulation from two-way simulation.Secondly,it shows some properties of two-way simulation.Finally it proves some relations between two of the simulation,two-way simulation and bisimuaotin. |
查看全文
查看/发表评论 下载PDF阅读器 |
关闭 |
|
|
|