基于矩阵模型表示的有限自动机极小化方法  

A Method for Minimizing a Finite Automata Based on Its Matrix Mod el

作　　者：朱征宇[1] 王术[1] 赵银春[1] 

机构地区：[1]重庆大学计算机学院,重庆400044

出　　处：《计算机工程与应用》2004年第35期47-49,131,共4页Computer Engineering and Applications

基　　金：重庆大学骨干教师计划项目(编号:2003A33)资助

摘　　要：论文基于有限自动机的矩阵模型犤1犦,并以矩阵理论和布尔代数为工具,给出了一种有限自动机极小化的新方法。该方法不仅有利于算法设计和计算机自动处理,也表明了矩阵模型方法在有限自动机应用研究中的重要作用。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.

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

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]