完全定义时序机的状态化简算法

在矩阵模型的基础上，提出了求映射矩阵Ｂ（Ｘ）和输出矩阵Ａ（Ｘ）的方法，进而求出Ｋ阶输出矩阵与Ｐｋ划分．在此基础上，得到了求完全定义时序机状态化简的算法．该算法基于矩阵运算。

一类非完全定义时序机的状态化简

应用矩阵模型，提出了一类非完全定义时序机的映射矩阵Ａｉ和Ｂｉ的计算方法和状态相容条件，根据状态相容求出Ｐｋ划分，从而得到了该类时序机状态化简的算法．