节点文献
基于矩阵模型表示的有限自动机极小化方法
A Method for Minimizing a Finite Automata Based on Its Matrix Mod el
【摘要】 论文基于有限自动机的矩阵模型犤1犦,并以矩阵理论和布尔代数为工具,给出了一种有限自动机极小化的新方法。该方法不仅有利于算法设计和计算机自动处理,也表明了矩阵模型方法在有限自动机应用研究中的重要作用。
【Abstract】 Based on the matrix model of a finite automata and with the tools of Matrix Theory and Boolean Algebra,a new method for minimizing a finite automata is presented in this paper.The method is not only suitable to the design of its algorithm and to be realized on the computer,but also plays an important role on research of the application of finite automata.
【关键词】 有限自动机;
矩阵模型;
极小化;
布尔函数矩阵;
状态k-等价;
【Key words】 finite automata; matrix model; minimizing; Boolean-function matrix; k-equivalence of states;
【Key words】 finite automata; matrix model; minimizing; Boolean-function matrix; k-equivalence of states;
【基金】 重庆大学骨干教师计划项目(编号:2003A33)资助
- 【文献出处】 计算机工程与应用 ,Computer Engineering and Applications , 编辑部邮箱 ,2004年35期
- 【分类号】TP301
- 【被引频次】22
- 【下载频次】154