非模糊线性文法在补集运算下不封闭
摘要：非闭包的无二义性线性语言族(由无二义性线性上下文无关文法定义)不闭合于补集。具体来说，我们提出了一个特定的无二义性线性文法，并证明了该语言的补集不能由任何上下文无关文法定义。这也构成了Hibbard和Ullian在《J.ACM，1966年《对补集性的无二义性中上下文无关语言的独立性》》结果的另一种证明。
作者：Olga Martynova, Alexander Okhotin
论文ID：2210.02329
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-10-06