单字母终结符字母表上由非上下文无关文法生成的语言的正则性
形式语言与自动机理论
2018-07-13 v2
摘要
众所周知：(i) 单字母终结符字母表上的每个上下文无关语言都是正则的；(ii) 满足泵引理的语言类是有上下文无关语言类的真超类。我们证明该超类上单字母终结符字母表的任何语言都是正则的。我们的证明基于变换方法且不依赖Parikh定理。我们的结果扩展了先前已知结果，因为存在不满足上下文无关、但满足泵引理且不满足Parikh定理假设的语言。
引用
@article{arxiv.1705.09695,
title = {Regularity of languages generated by non context-free grammars over a singleton terminal alphabet},
author = {Alberto Pettorossi and Maurizio Proietti},
journal= {arXiv preprint arXiv:1705.09695},
year = {2018}
}