图游走自动机与星子图拼贴的空性问题复杂度
形式语言与自动机理论
2022-12-06 v1
摘要
本文证明了两种识别图的模型——图游走自动机与用星子图对图进行拼贴（星自动机）——的空性问题的可判定性。此外，证明了图游走自动机的非空性问题（即给定自动机是否至少接受一张图）是NEXP完全的。对于将非确定性树自动机推广到图情形的星自动机，证明了其非空性问题是NP完全的。
引用
@article{arxiv.2212.02380,
title = {Complexity of the emptiness problem for graph-walking automata and for tilings with star subgraphs},
author = {Olga Martynova},
journal= {arXiv preprint arXiv:2212.02380},
year = {2022}
}
备注
29 pages, 4 figures