GF(2)-文法描述的有界语言的更精细刻画

Vladislav Makarov; Marat Movsin

GF(2)-文法描述的有界语言的更精细刻画

形式语言与自动机理论 2023-12-12 v1

作者: Vladislav Makarov , Marat Movsin

摘要

GF(2)-文法是一个相对近期引入的文法家族，具有一些不寻常的代数性质，并与无歧义文法紧密相关。在“GF(2)-文法描述的有界语言”一文中，Makarov 证明了 $a_1^* a_2^* \cdots a_k^*$ 的子集能被某个 GF(2)-文法描述的一个必要条件。通过进一步扩展这些方法，我们为这些语言证明了一个更强的上界。此外，我们建立了一个与已证明的上界紧密匹配的下界。同时，我们证明了线性 GF(2)-文法这一特殊情况的精确刻画。最后，利用先前的结果，我们表明由线性 GF(2)-文法描述的语言类在 GF(2)-拼接运算下不封闭。

关键词

GF(2)-文法有界语言形式语言理论上界下界线性 GF(2)-文法封闭性质

引用

@article{arxiv.2312.06609,
  title  = {Finer characterization of bounded languages described by GF(2)-grammars},
  author = {Vladislav Makarov and Marat Movsin},
  journal= {arXiv preprint arXiv:2312.06609},
  year   = {2023}
}

备注

10 pages, 0 figures

GF(2)-文法描述的有界语言的更精细刻画

摘要

关键词

引用

备注

相关论文