凸语言类的判定问题
计算复杂性
2009-04-14 v2 离散数学
形式语言与自动机理论
摘要
本文研究了与Ang和Brzozowski（在“连续语言”名称下）研究的各类凸语言相关的判定问题。我们证明，若给定语言L由DFA表示，则可在多项式时间内判定L是否为前缀凸、后缀凸、因子凸或子词凸；但若L由NFA表示，则该问题为PSPACE-hard。对于非凸的正则语言，我们证明了展示其非凸性的最短词的长度（以接受该语言的DFA状态数表示）的紧上界。对于凸语言的若干子类：前缀封闭、后缀封闭、因子封闭和子词封闭语言，以及前缀自由、后缀自由、因子自由和子词自由语言，也证明了类似结果。
引用
@article{arxiv.0808.1928,
title = {Decision Problems For Convex Languages},
author = {Janusz Brzozowski and Jeffrey Shallit and Zhi Xu},
journal= {arXiv preprint arXiv:0808.1928},
year = {2009}
}
备注
preliminary version. This version corrected one typo in Section 2.1.1, line 4