图遍历自动机的空问题的复杂性和具有星形子图的平铺的空问题的复杂性
摘要：识别图形的两个模型：图行走自动机和由星形子图对图进行平铺的模型（星形自动机）的空问题的可决定性被证明。此外，证明了图行走自动机的非空问题（即给定自动机是否接受至少一个图形）是NEXP-complete的。对于将非确定性树自动机推广到图形的情况的星形自动机，证明了它们的非空问题是NP-complete的。
作者：Olga Martynova
论文ID：2212.02380
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-12-06