论文标题
具有嵌套应用程序条件的转换规则的初始冲突
Initial Conflicts for Transformation Rules with Nested Application Conditions
论文作者
论文摘要
我们将最初冲突的最初冲突理论扩展到了M粘合类别的框架中，以使用ACS转换规则。我们首先表明，对于使用ACS的规则，一般而言，冲突也不是从更大的上下文中继承而来的，也无法找到有限且完整的有限冲突子集，如图形类别所示。我们将初始冲突定义为特殊的所谓符号转换对，并以这种符号方式表明它们是最小完成的（对于图形也有限）。我们表明，初始冲突再次代表了关键对的正确子集。此外，我们证明（类似于没有ACS的规则情况），对于每种冲突，存在独特的初始冲突代表了它。最后，我们提出了足够的条件，说明了与ACS规则的重要特殊情况，在这种情况下，我们不仅以象征性的方式完成了最初的冲突，而且还找到了经典意义上的冲突的完整（并且在图的情况下）。
We extend the theory of initial conflicts in the framework of M-adhesive categories to transformation rules with ACs. We first show that for rules with ACs, conflicts are in general neither inherited from a bigger context any more, nor is it possible to find a finite and complete subset of finite conflicts as illustrated for the category of graphs. We define initial conflicts to be special so-called symbolic transformation pairs, and show that they are minimally complete (and in the case of graphs also finite) in this symbolic way. We show that initial conflicts represent a proper subset of critical pairs again. We moreover demonstrate that (analogous to the case of rules without ACs) for each conflict a unique initial conflict exists representing it. We conclude with presenting a sufficient condition illustrating important special cases for rules with ACs, where we do not only have initial conflicts being complete in a symbolic way, but also find complete (and in the case of graphs also finite) subsets of conflicts in the classical sense.
