基于 PBPO+ 的图重写与重标记：拟拓扑斯的一种统一理论
计算机科学中的逻辑
2023-05-26 v3
摘要
我们将用于图重写的强大拉回-推出 (PBPO) 方法扩展为强匹配。我们的方法称为 PBPO+，允许对模式在宿主图中的嵌入进行更多控制，这对于一大类重写系统至关重要。我们通过证明 PBPO+ 可以定义 PBPO、AGREE 和 DPO 所能定义的重写关系的严格超集，论证了 PBPO+ 可被视为准拓扑斯一般设定下的一种统一理论。此外，通过在标签集上引入格结构并要求图态射保序，我们展示了 PBPO+ 非常适合重写带标签的图和某些类别的属性图。
引用
@article{arxiv.2203.01032,
title = {Graph Rewriting and Relabeling with PBPO+: A Unifying Theory for Quasitoposes},
author = {Roy Overbeek and Jörg Endrullis and Aloïs Rosset},
journal= {arXiv preprint arXiv:2203.01032},
year = {2023}
}
备注
This article significantly extends and improves arXiv:2010.08230. 36 pages