布尔状态映射矩阵的变化及应用

Changes and applications of boolean-state-mapping matrix

在有限自动机矩阵模型表示方法基础上,采用矩阵理论和布尔代数为工具,主要对布尔状态映射矩阵B(x)进行讨论。首先对它进行了变化,然后用它的变化式来判断有限自动机的状态有无前邻,有限自动机是否强连通,同时它们也提供一些构造子有限自动机和有效地划分布尔状态映射矩阵B(x)为标准型的新方法。

Based on the matrix model of a finite automata and with the tools of the Matrix theory and the Boolean algebra,this paper discusses mainly on the Boolean-state-mapping Matrix.Firstly we give a series of transformations to the Boolean-statemapping matrix B（x）.Secondly we make use of the transformations to judge whether the finite automata has the property of predecessor and whether the finite automata is strongly connected.And they also provide some new methods on how to construct a sub-automata and how to divide the Boolean-state-mapping matrix B（x） into the standard form effectively.