摘要
在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,给出了判定输入序列是否是极小线性有限自动机的最短初态试验序列的新算法。
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 algorithm, which can obtain the shortest initial state experiment sequence of the minimum linear finite automata.
基金
贵州省教育厅自然科学基金
项目编号:黔教科20090068
关键词
极小线性有限自动机
矩阵模型
初态试验序列
Minimum Linear Finite Automata
Matrix Model
Initial State Experiment Sequence
