计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (29): 86-89.

• 学术探讨 • 上一篇    下一篇

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

陈燕敏,邓培民,易 忠   

  1. 广西师范大学 数学科学学院,广西 桂林 541004
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-10-11 发布日期:2007-10-11
  • 通讯作者: 陈燕敏

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

CHEN Yan-min,DENG Pei-min,YI Zhong   

  1. The Mathematics Science College of Guangxi Normal University,Guilin,Guangxi 541004,China
  • Received:1900-01-01 Revised:1900-01-01 Online:2007-10-11 Published:2007-10-11
  • Contact: CHEN Yan-min

摘要: 在有限自动机矩阵模型表示方法基础上,采用矩阵理论和布尔代数为工具,给出了有限自动机r阶输入存贮性质判定的新方法。该方法不仅有利于算法设计和计算机自动处理,也促进了有限自动机的研究和发展。

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

Abstract: 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.

Key words: finite automata, matrix model, boolean-state-mapping matrix, boolean-output-mapping matrix, r-order input memory