自由群中的自动机和简化词
摘要：规范语言的问题在于定义字母、单词和语言的逆。自由幺半群上一个语言的简约表示是自由群上唯一等价的表示。我们证明了正则语言的类在简约表示下是闭合的，而上下文无关语言的类则不是。我们还给出了一个正则语言简约表示状态复杂度的上界，并证明了一个正则语言中最短可简约字符串的长度的上界和下界。最后我们证明了与正则语言中的字等价的所有字的集合可以是非正则的，并且正则语言在采用推广形式的简约表示下不是闭合的。
作者：Thomas Ang, Giovanni Pighizzini, Narad Rampersad, Jeffrey Shallit
论文ID：0910.4555
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2009-10-26