矩阵模型表示下有限自动机等价判定方法

摘要

该文在有限自动机的矩阵模型表示方法[1]基础上,采用矩阵理论和布尔代数为工具,提出了一种有限自动机等价判定的新方法.该方法不仅有利于算法设计和计算机自动处理,其处理方法对采用矩阵模型研究有限自动机理论及应用问题也有一定学术参考价值.