带压缩标签的NFA（DFA）的压缩成员关系在NP（P）中
摘要：压缩有限自动机的成员问题：研究基于压缩转换标签的确定性和非确定性有限自动机的压缩成员问题。压缩由直线程序（SLP）表示，即产生唯一字符串的上下文无关文法。引入了一种处理SLP的新技术：SLP被重新压缩，使得输入文本的子串以与表示输入文本的SLP相同的方式编码在NFA（DFA）的转换标签中。为此，SLP被局部解压然后以统一的方式重新压缩。此外，此重新压缩仅对自动机产生微小变化，特别是自动机的大小保持多项式。 运用这种技术，证明了带有压缩标签的NFA的压缩成员问题属于NP，从而证实了Plandowski和Rytter的猜想并扩展了Lohrey和Mathissen的部分结果；因为已知该问题是NP-hard的，所以解决了其精确计算复杂性。此外，将相同技术应用于带有压缩标签的DFA的压缩成员问题，得出该问题属于P；对于这个问题，只知道平凡的上界PSPACE。
作者：Artur Je.z
论文ID：1110.2318
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-10-28