图公式系统及其等价于交替图自动机
形式语言与自动机理论
2026-01-23 v2
摘要
图建模在计算机科学的许多领域发挥着基本作用。本文提出了带变量的图公式系统，用于指定图属性；这种概念是对早期工作中引入的图公式的扩展，通过 incorporating 递归。我们证明，这些公式系统与交替图自动机具有相同的表达能力，后者是一种扩展传统有限状态自动机至图上的计算模型，允许存在和普遍状态。特别是，我们提供了公式系统和交替图自动机之间的双向翻译，证明它们在指定图语言方面是等价的。这一结果意味着交替图自动机可以自然地使用基于逻辑的表述形式，从而桥接了自动机论述和逻辑论述方法之间的差距，以指定图语言。
引用
@article{arxiv.2510.25260,
title = {Systems of Graph Formulas and their Equivalence to Alternating Graph Automata},
author = {Frank Drewes and Berthold Hoffmann and Mark Minas},
journal= {arXiv preprint arXiv:2510.25260},
year = {2026}
}
备注
To appear in the post-proceedings of the International Workshop on Graph Computational Models (GCM 2025), to be published via EPTCS