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

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

在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,分别给出了判定输入序列是否是(线性)有限自动机的同步序列的新充要条件和求解线性有限自动机的最短同步序列的新算法.

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.