基于矩阵模型表示的极小线性有限自动机的最短初态试验序列判定  

The Determination of The Shortest Initial State Experiment Sequence of Minimum Linear Finite Automata Based on Its Matrix Model

作　　者：杨楠[1] 曹发生[2] 

机构地区：[1]黔南民族师范学院数学系,贵州都匀558000 [2]毕节学院逻辑语言与认知研究中心,贵州毕节551700

出　　处：《毕节学院学报（综合版）》2011年第8期76-78,共3页Journal of Bijie University

基　　金：贵州省教育厅自然科学基金;项目编号:黔教科20090068

摘　　要：在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,给出了判定输入序列是否是极小线性有限自动机的最短初态试验序列的新算法。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.

关 键 词：极小线性有限自动机 矩阵模型 初态试验序列 

分 类 号：O174.13[理学—数学]