| 双模拟及其一些基本性质 |
| |
| 引用本文： | 姚从军. 双模拟及其一些基本性质[J]. 湖南科技大学学报(社会科学版), 2012, 15(4): 35-37 |
| |
| 作者姓名： | 姚从军 |
| |
| 作者单位： | 湖南科技学院思政部;中国社科院博士后流动站 |
| |
| 基金项目： | 2012年国家社科基金项目(12BZX060) |
| |
| 摘 要： | 模拟和互模拟是分别比同态和同构弱的一对概念,论文给出一个比模拟强但又比互模拟弱的概念——双模拟,并考察与此相关的一些问题:在模拟的基础上,定义"双模拟"的概念,并说明如何从双模拟得到互模拟;证明双模拟的一些基本性质;讨论模拟、互模拟与双模拟之间的关系。
|
| 关 键 词： | 双模拟 模拟 互模拟 加标转换系统 |
Two-way Simulations and Some of Its Basic Properties |
| |
| YAO Cong-jun. Two-way Simulations and Some of Its Basic Properties[J]. journal of hunan university of science&technology, 2012, 15(4): 35-37 |
| |
| Authors: | YAO Cong-jun |
| |
| Affiliation: | YAO Cong-jun(Department of Political and Ideological Education,Hunan University of Science and Engineering,Yongzhou 425100,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | two-way simulation simulation bisimulation labeled translation system |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《湖南科技大学学报(社会科学版)》浏览原始摘要信息 |
|
点击此处可从《湖南科技大学学报(社会科学版)》下载全文 |
