结构化标记转换系统的部分互模拟与共变-逆变模拟     

黄振华 《成都信息工程学院学报》2014,29(5):471-478

结构化标记转换系统是经典标记转换系统的一种扩充,在处理转换系统之间的模拟关系时考虑了标记本身的结构。结构化标记转换系统间的部分互模拟与共变-逆变模拟之间存在诸多相似之处,为了更深入地研究两者的关系,引入Institution框架。基于该框架,讨论了部分互模拟关系与共变-逆变模拟关系之间的关系,并证明前者到后者存在Institution态射,结果表明,在结构化标记转换系统中,相比部分互模拟关系,共变-逆变模拟关系具有更强的表达能力。  相似文献