Yang Guanzhong Lu Yingping Wang Rongxiang
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