文章摘要
双模拟及其一些基本性质
Two-way Simulations and Some of Its Basic Properties
  
DOI:
中文关键词: 双模拟  模拟  互模拟  加标转换系统
英文关键词: two-way simulation  simulation  bisimulation  labeled translation system
基金项目:2012年国家社科基金项目(12BZX060)
摘要点击次数: 1965
全文下载次数: 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阅读器
关闭