对有限自动机Md、Mnd及M×Ma、M∧Mnd的初(末)态试验序列、UIO序列和同步序列进行了讨论,给出了它们之间的关系及最短的试验序列个数的判定,并在此基础之上给出了M×Md和M×Mnd的初(末)态试验序列、UIO序列和同步序列的一些性质和结果。
The initial(final) state experimental sequence,UIO sequence and synchronous sequence of the finite automata Md,Mnd and M×Md,M∧ M,,a are studied. The nature and results of the initial (final) states experimental sequence,the synchronous sequence,UIO sequence of the finite automata are found after the full (restricted) direct product operation. The integer determination of the shortest experimental sequence and some connections of these sequences of the finite automata are given.