机械部教育司青年基金
应用矩阵模型，提出了一类非完全定义时序机的映射矩阵Ａｉ和Ｂｉ的计算方法和状态相容条件，根据状态相容坏 出Ｐｋ划分，从而得到了该类时序机状态化简的算法。
By applying matrix model,this paper presents method of solving mapping matrix A i and B i and conditions of state compatibility in Cat.1 incompletely specified sequential machine.According to state compatibility, P k partition of state set
杨贯中.一类非完全定义时序机的状态化简[J].湖南大学学报：自然科学版,1998,25(2):
