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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社