群组连接层次结构中级别一的特征化
摘要：正规语言的两个操作符：多项式封闭性（Pol）和布尔封闭性（Bool）的研究。我们将这些操作符应用于组语言G及其适合的扩展G+的类别，其中G+是包含G和包含空词的单例语言的最小布尔代数。这产生了类别Bool(Pol(G))和Bool(Pol(G+))。这些类别是重要的正规语言类别分类中的第一级，称为串联层次结构，具有自然的逻辑特征。我们提出了对这些类别的通用代数特征描述。它们说明，如果输入类别G的一个更一般的问题，称为分离问题可判定，那么可以决定一个正规语言是否属于这样的类别。证明是构造性的，并且仅仅依赖于语言和自动机理论的概念。
作者：Thomas Place and Marc Zeitoun
论文ID：2201.06826
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-01-19