Based on the matrix model of a finite automataand with the tools of Matrix Theory and Boolean Algebra,a new method for determining the equivalence between finite automata has been presented in this paper.

• 该文在有限自动机的矩阵模型表示方法1基础上,采用矩阵理论和布尔代数为工具,提出了一种有限自动机等价判定的新方法。