摘要

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

  • 单位
    黔南民族师范学院; 贵州工程应用技术学院