基于矩阵模型表示的(线性)有限自动机的同步序列判定  

The Determination of Synchronous Sequence of(Linear) Finite Automata Based on Its Matrix Model

作　　者：杨楠[1] 曹发生[2] 邓培民[3] 

机构地区：[1]黔南民族师范学院数学系,贵州都匀558000 [2]毕节学院数学系逻辑语言与认知研究中心,贵州毕节551700 [3]广西师范大学数学科学学院,广西桂林541004

出　　处：《数学的实践与认识》2011年第10期192-197,共6页Mathematics in Practice and Theory

基　　金：贵州省重点支持学科(应用数学)基金(黔教高发[2009]303号);贵州省教育厅自然科学基金(黔教科20090068)

摘　　要：在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,分别给出了判定输入序列是否是(线性)有限自动机的同步序列的新充要条件和求解线性有限自动机的最短同步序列的新算法.Based on the matrix model of a finite automata and with the tools of the matrix theory and the Boolean algebra,this paper gives out the new sufficient and necessary conditions which determine whether input sequences are the synchronous sequence of（linear） finite automata and the new algorithm.which solves the shortest synchronous sequence of the linear finite automata.

关 键 词：有限自动机 矩阵模型 同步序列 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]