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

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

有限自动机积的初(末)态试验序列、UIO序列和同步序列

主要对积运算后有限自动机的初(末)态试验序列、U IO序列和同步序列进行了讨论,给出了积运算后的有限自动机与积运算前有限自动机的初(末)态试验序列、U IO序列和同步序列的联系,并给出了极小有限自动机的初态试验序列与U IO序列间的联系。

一类有限自动机及其直积的试验序列

对有限自动机Md、Mnd及M×Md、M∧Mnd的初(末)态试验序列、UIO序列和同步序列进行了讨论,给出了它们之间的关系及最短的试验序列个数的判定,并在此基础之上给出了M×Md和M×Mnd的初(末)态试验序列、UIO序列和同步序列的一些性质和结果。

两个有限自动机之间试验序列的关系

给出两个有限自动机分别具有等价、弱同构、同构、强于关系时,它们相应的试验序列所具有的关系.