We discuss link and point deletion operators on graph games and provide a comparative logic-algorithmic study of the same. In particular, we focus on a popular notion of invariance in transition systems, namely, bisimulation, between the respective games on graphs. We present both logical and algorithmic analyses of the concepts so as to provide a more formal analysis of the natural connection between these two operators.
翻译:我们讨论图表游戏中的链接和删除操作员,并对此进行比较逻辑和算法研究。特别是,我们侧重于过渡系统中流行的惯性概念,即在图表上各自游戏之间的平衡。 我们对概念进行逻辑和算法分析,以便更正式地分析这两个操作员之间的自然联系。