确定有限自动机的图谱特性
摘要：最小自动机具有最小邻接矩阵秩和最小邻接矩阵零空间，我们使用平等划分（来自图谱理论）和Nerode划分（来自自动机理论）来证明这一点。这个结果自然地引入了矩阵秩的概念到一个正则语言L中，即识别L的最小确定性自动机的最小邻接矩阵秩。然后，我们定义并关注排名一语言：即最小自动机的秩为一的语言类。我们还定义了一个排名一语言的扩展规范自动机。
作者：Ryoma Sin'ya
论文ID：1405.2553
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-05-13