含至少一个不等式约束的树自动机的空性问题是 NP 难的
形式语言与自动机理论
2014-12-03 v1
摘要
带有等式和不等式约束的树自动机模型由 Filiot、Talbot 和 Tison 于 2007 年提出。在本文中，我们证明了如果存在至少一个不等式约束，则其空性问题是 NP 难的。
引用
@article{arxiv.1412.0839,
title = {The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard},
author = {P. -C Héam and V. Hugot and O. Kouchnarenko},
journal= {arXiv preprint arXiv:1412.0839},
year = {2014}
}