摘要
有限自动机理论是控制理论、对象程序测试、神经网络、保密学等众多学科领域的重要研究工具犤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.
出处
《计算机工程与应用》
CSCD
北大核心
2003年第4期115-119,共5页
Computer Engineering and Applications
关键词
状态自动机
矩阵模型
代数性质
有限自动机
Finite automata,Matrix model,State automata,State mapping matrix,Primary transform
