-
题名基于矩阵模型表示的有限自动机极小化方法
被引量：15
- 1
-
-
作者
朱征宇
王术
赵银春
-
机构
重庆大学计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2004年第35期47-49,131,共4页
-
基金
重庆大学骨干教师计划项目(编号:2003A33)资助
-
文摘
论文基于有限自动机的矩阵模型犤1犦,并以矩阵理论和布尔代数为工具,给出了一种有限自动机极小化的新方法。该方法不仅有利于算法设计和计算机自动处理,也表明了矩阵模型方法在有限自动机应用研究中的重要作用。
-
关键词
有限自动机
矩阵模型
极小化
布尔函数矩阵
状态κ-等价
-
Keywords
finite automata,matrix model,minimizing,boolean-function matrix,k-equivalence of states
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
-
-
题名矩阵模型表示下有限自动机等价判定方法
被引量：5
- 2
-
-
作者
朱征宇
付关友
赵银春
-
机构
重庆大学计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2004年第34期54-56,106,共4页
-
基金
重庆大学骨干教师资助计划项目:基于标记语义和行为分析的网页信息检索方法(编号:2003A33)
-
文摘
该文在有限自动机的矩阵模型表示方法1基础上,采用矩阵理论和布尔代数为工具,提出了一种有限自动机等价判定的新方法。该方法不仅有利于算法设计和计算机自动处理,其处理方法对采用矩阵模型研究有限自动机理论及应用问题也有一定学术参考价值。
-
关键词
有限自动机
矩阵模型
等价
布尔函数矩阵
极小化
-
Keywords
finite automata,matrix model,equivalence,boolean-function matrix,minimizing
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
-
