双模拟及其一些基本性质  

Two-way Simulations and Some of Its Basic Properties

作　　者：姚从军[1,2] 

机构地区：[1]湖南科技学院思政部,湖南永州425100 [2]中国社科院博士后流动站,北京100732

出　　处：《湖南科技大学学报（社会科学版）》2012年第4期35-37,共3页Journal of Hunan University of Science and Technology(Social Science Edition)

基　　金：2012年国家社科基金项目(12BZX060)

摘　　要：模拟和互模拟是分别比同态和同构弱的一对概念,论文给出一个比模拟强但又比互模拟弱的概念——双模拟,并考察与此相关的一些问题:在模拟的基础上,定义"双模拟"的概念,并说明如何从双模拟得到互模拟;证明双模拟的一些基本性质;讨论模拟、互模拟与双模拟之间的关系。Simulation and bisimulation are weaker than homomorphism or isomorphism, and this paper in- tends 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 rela- tions between two of the simulation, two-way simulation and bisimuaotin.

关 键 词：双模拟 模拟 互模拟 加标转换系统 

分 类 号：B81[哲学宗教—逻辑学]