有限自动机研究的矩阵模型方法

Matrix Model Method for Researches on Finite Automata

1 引言 随着现代科学技术的发展,有限自动机已成为许多学科的重要的理论和应用基础.然而近年来有限自动机理论发展缓慢,不能适应这些学科发展的需要.为了促进有限自动机研究的发展,本文中给出了矩阵模型方法.

Based on the references [1]-[3],a new mathematical model for finite automata, matrix model,is built up in this paper,Matrix model offers a new method for researches on finite automata. It not only makes matrix theory and Boolean matrix theory can be used fully into researches of finite automate, but also has a new feature that is suitable to be handled on computer. The researches on graph theory ,control theory and linear finite automata theory show us that a lot of new results will be got and a good progress will be made in researches of finite automata if the new matrix model method is used.