| 互模拟的一些基本性质 |
| |
| 引用本文： | 李娜,姚从军.互模拟的一些基本性质[J].云南师范大学学报(哲学社会科学版),2010,42(5):68-73. |
| |
| 作者姓名： | 李娜 姚从军 |
| |
| 作者单位： | 南开大学,哲学系,天津,300071 |
| |
| 基金项目： | 国家哲学社科基金项目 |
| |
| 摘 要： | 由于互模拟的概念几乎同时在计算机科学、模态逻辑和集合论中产生,本文试图给出一种能够刻画计算机科学、模态逻辑和集合论中互模拟概念的统一定义。因此,本文首先简单介绍互模拟产生的原因及作用;其次,给出两个加标转换系统之间的互模拟定义,并说明由此定义如何得到计算机科学中、模态逻辑中以及集合论中互模拟的定义;最后证明在这种定义下,互模拟的一些基本性质。
|
| 关 键 词： | 关系结构 加标转换系统 互模拟 |
Some Basic Properties of Bisimulation |
| |
| LI Na,YAO Cong-jun.Some Basic Properties of Bisimulation[J].Journal of Yunnan Normal University(Philosophy and Social Sciences Edition),2010,42(5):68-73. |
| |
| Authors: | LI Na YAO Cong-jun |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
