摘要
由于互模拟的概念几乎同时在计算机科学、模态逻辑和集合论中产生,本文试图给出一种能够刻画计算机科学、模态逻辑和集合论中互模拟概念的统一定义。因此,本文首先简单介绍互模拟产生的原因及作用;其次,给出两个加标转换系统之间的互模拟定义,并说明由此定义如何得到计算机科学中、模态逻辑中以及集合论中互模拟的定义;最后证明在这种定义下,互模拟的一些基本性质。
Because the concept of bisimulations has emerged almost at the same time in computer science,modal logic and set theory,this paper attempts to give a general definition on this concept.The paper firstly briefs its origin and function;secondly,it defines the bisimulation between two labeled transition systems,and then explains how this definition produces the definition of the bisimulations in computer science,modal logic and set theory;finally,this paper proves some properties of bisimulation based on this definition.
出处
《云南师范大学学报（哲学社会科学版）》
CSSCI
2010年第5期68-73,共6页
Journal of Yunnan Normal University：Humanities and Social Sciences Edition
基金
国家哲学社科基金项目(08BZX049)
关键词
关系结构
加标转换系统
互模拟
relational structure
labeled transition system
bisimulation
