主要对积运算后有限自动机的初(末)态试验序列、UIO序列和同步序列进行了讨论,给出了积运算后的有限自动机与积运算前有限自动机的初(末)态试验序列、UIO序列和同步序列的联系,并给出了极小有限自动机的初态试验序列与UIO序列间的联系。
This paper studies the initial(final) states testing sequence , UIO sequence and synchronous of finite automata after product operation. Some connections are found between these sequences of automata after product operation and these sequences of automata before product operation, and between initial state testing sequence and UIO sequence of minimal automata.