上下文无关语言的一个不可判定性质
形式语言与自动机理论
2010-04-13 v1 离散数学
摘要
我们证明了不存在算法可以判定上下文无关文法生成的语言在字典序下是否稠密。作为该结果的推论，我们表明判定两个上下文无关文法生成的语言的字典序是否具有相同序类型是不可判定的。
引用
@article{arxiv.1004.1736,
title = {An undecidable property of context-free languages},
author = {Zoltan Esik},
journal= {arXiv preprint arXiv:1004.1736},
year = {2010}
}