语言族的半线性
摘要：创建新的并且普遍的语言族只包含半线性语言的技术，并且展示了只包含半线性语言的族。已经证明对于半线性full trio（semilinear full trio）语言族L，其最小full AFL同时包含L，并且还在NCM中封闭（其中NCM是在NFA上加入反向受限计数器所接受的语言族）的交集，也是半线性的。如果这些封闭性质是有效的，则这也立即意味着对于这些普遍族的成员资格、空性和无穷性的判定是可行的。从这些普遍技术中，给出了一些新的文法系统，它们是半线性full trio族的已知族的扩展，从而暗示这些扩展只描述半线性语言。这也意味着新系统的肯定的判定性质。还给出了一些新族的特征描述。
作者：Oscar H. Ibarra and Ian McQuillan
论文ID：2212.01301
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-12-05