状态自动机矩阵模型的代数性质  

The Basic Algebra Characteristic for the Matrix Model of the State Automata

作　　者：朱征宇[1] 朱庆生[1] 

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

出　　处：《计算机工程与应用》2003年第4期115-119,共5页Computer Engineering and Applications

摘　　要：有限自动机理论是控制理论、对象程序测试、神经网络、保密学等众多学科领域的重要研究工具犤1～4犦,探索有限自动机理论研究的新思路具有重要学术意义。文章在有限自动机矩阵模型表示方法基础上,采用矩阵理论和布尔代数为工具,针对无输出情形的特殊有限自动机(状态自动机),研究给出了基本代数性质及相应的物理意义。在采用新的数学方法进行有限自动机理论研究方面作了有益的探索,采用这种方法有利于算法设计和计算机自动处理。The theory of finite automata is an important tool for the researches of many fields such as the control theo-ry,the test for object technique,the cell automata,the security 1～4 .So it is a important thing to find some other new the-oretic method for the research of finite automata.Based on the new matrix model method for the finite automata,and us-ing the tools of the matrix theory and the boolean algebra,this paper researches and gives out some basic algebra char-acteristic for the matrix model of the state automata.This basic theory is useful to research the finite automata using new mathematical tools,and this new method has the advantage of designing algorithm and handling problems on com-puter.

关 键 词：状态自动机 矩阵模型 代数性质 有限自动机 

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