有限自动机矩阵模型的应用——有限自动机r阶输入存贮性质判定新方法  

Application of finite automata based on its matrix model--New method for determining property of r-order input memory in finite automata

作　　者：陈燕敏[1] 邓培民[1] 易忠[1] 

机构地区：[1]广西师范大学数学科学学院,广西桂林541004

出　　处：《计算机工程与应用》2007年第29期86-89,共4页Computer Engineering and Applications

基　　金：国家自然科学基金( the National Natural Science Foundation of China under Grant No.60473005);广西省自然科学基金( the Natural Science Foundation of Guangxi Province of China under Grant No.0135005);教育部优秀青年教师资助项目( No.2002- 40)

摘　　要：在有限自动机矩阵模型表示方法基础上,采用矩阵理论和布尔代数为工具,给出了有限自动机r阶输入存贮性质判定的新方法。该方法不仅有利于算法设计和计算机自动处理,也促进了有限自动机的研究和发展。Based on the matrix model of a finite automata and with the tools of the matrix theory and the boolean algebra,this paper gives out a new method for determining the property of r-order input memory in the finite automata.The method is not only suitable to the design of its algorithm and to be realized on the computer,but also promotes the research and the development of the finite automata.

关 键 词：有限自动机 矩阵模型 布尔状态映射矩阵 布尔输出映射矩阵 r阶输入存贮 

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