Initial(Final) State Testing Sequence, UIO Sequence and Synchronous Sequence of Product of Finite Automata

• 有限自动机积的初(末)态试验序列、UIO序列和同步序列