使用加权子图计数的方式终止图转换系统
摘要：PBPO+框架的代数图转换方法中引入了一种终止方法，其中通过对目标对象进行加权映射的总和来给对象加权。该方法在rm可粘附的准拓扑中是良定义的（其中包括拓扑学和许多感兴趣的图分类），并且适用于非线性规则。该方法也适用于其他框架，包括DPO和SqPO，因为我们之前已经证明它们在准拓扑设置中可以自然地编码到PBPO+中。
作者：Roy Overbeek, J"org Endrullis
论文ID：2303.07812
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-05-26