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

• 作者: 付关友 朱征宇 赵银春
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 有限自动机 矩阵模型 等价 布尔函数矩阵 极小化
• 年，卷（期）: 2004,（34）
• 所属期刊栏目: 学术探讨
• 页码范围: 54-56,106
• 页数: 4页
• 分类号: TP301.1
• 字数: 3859字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2004.34.018

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱征宇	重庆大学计算机学院	86	1360	20.0	33.0
2	付关友	重庆大学计算机学院	5	227	5.0	5.0
3	赵银春	重庆大学计算机学院	4	140	4.0	4.0