交换性语言及其共识方法的组合
摘要：具有半线性属性（SLIP）的可交换语言可以由实时NLOG-SPACE多计数机自然识别出来。我们展示了这些语言的并集和串接也可以类似地被识别出来，有赖于我们最近关于一致正则（CREG）语言族的结果。CREG语言由包含终端字母表及其标记副本的正则语言定义。提出了新的条件，以确保CREG语言的并集或串接是封闭的，并应用于可交换SLIP语言。本文对CREG家族的知识做出了贡献，并介绍了基于算术同余的语言构成的新技术，其作用是语言签名。列举了一些未解决的问题。
作者：Stefano Crespi Reghizzi (DEIB, Politecnico di Milano and CNR-IEIIT), Pierluigi San Pietro (DEIB, Politecnico di Milano and CNR-IEIIT)
论文ID：1405.5604
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-05-23