关于无歧义上下文无关文法的普适性与包含问题复杂性的技术报告
形式语言与自动机理论
2020-06-12 v2
摘要
我们研究无歧义有限自动机与上下文无关文法的普适性与包含问题的计算复杂性。我们观察到若干此类问题可归约到无歧义上下文无关文法的普适性问题。后者问题久已知其可判定，我们提出一个通过归约到带卷积的递推方程零性问题来工作的 PSPACE 算法。我们不知晓任何非平凡复杂性下界。然而，我们证明计算无歧义上下文无关语言的抛硬币测度——普适性的一种量化推广——对于长期未决的开放问题 SQRTSUM 是困难的。
引用
@article{arxiv.2006.05275,
title = {On the complexity of the universality and inclusion problems for unambiguous context-free grammars (technical report)},
author = {Lorenzo Clemente},
journal= {arXiv preprint arXiv:2006.05275},
year = {2020}
}
备注
full technical report of a paper to appear in VPT 2020