至少具有一个不等式约束的树自动机的空集问题是NP难的
摘要：带有等式和不等式约束的树自动机模型的引入及其NP-hard问题。
作者：P.-C H''eam (INRIA Nancy - Grand Est / LORIA / LIFC, FEMTO-ST), V. Hugot (INRIA Lille - Nord Europe, LIFL), O. Kouchnarenko (FEMTO-ST, INRIA Nancy - Grand Est / LORIA / LIFC)
论文ID：1412.0839
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-12-03