关于无歧义上下文无关文法的泛化性与包含问题的复杂性
形式语言与自动机理论
2020-08-12 v1
摘要
我们研究了无歧义有限自动机与上下文无关文法的泛化性（universality）和包含（inclusion）问题的计算复杂性。我们观察到若干此类问题可归约到无歧义上下文无关文法的泛化性问题。后者问题的可判定性早已为人所知，我们提出了一种通过归约到带卷积的递归方程的零性问题（zeroness problem）来工作的 PSPACE 算法。我们不知晓任何非平凡复杂性下界。然而，我们证明了计算无歧义上下文无关语言的抛硬币测度（coin-flip measure）——泛化性的一种量化推广——对于长期未决的开放问题 SQRTSUM 是困难的。
引用
@article{arxiv.2008.04667,
title = {On the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free Grammars},
author = {Lorenzo Clemente},
journal= {arXiv preprint arXiv:2008.04667},
year = {2020}
}
备注
In Proceedings VPT/HCVS 2020, arXiv:2008.02483. arXiv admin note: identical to arXiv:2006.05275 , which has an added appendix