符号树自动机非空性检查的复杂性
形式语言与自动机理论
2023-11-10 v1 计算机科学中的逻辑
摘要
我们研究了符号树自动机的可满足性问题，并将其分解为输入字符的存在一阶理论的可满足性问题和被接受词索引的存在一元二阶理论的可满足性问题。我们利用该分解获得了该类自动机及其考虑底层有效布尔代数上线性算术约束的扩展的决策问题的紧计算复杂性界。
引用
@article{arxiv.2311.05250,
title = {The Complexity of Checking Non-Emptiness in Symbolic Tree Automata},
author = {Rodrigo Raya},
journal= {arXiv preprint arXiv:2311.05250},
year = {2023}
}
备注
arXiv admin note: substantial text overlap with arXiv:2307.00151