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

摘要：

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

关键词：有限自动机、矩阵模型、等价、布尔函数矩阵、极小化

所属期刊栏目：40

分类号：TP301.1(计算技术、计算机技术)

资助基金：重庆大学校科研和教改项目2003A33

在线出版日期：2005-01-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：54-56,106