Issue No. 11 - November (1975 vol. 24)
Y. Wakimura , Department of Electronlics, Hiroshima University
This correspondence comments on the statement, described in the above-mentioned paper,1 which follows after a few definitions characterizing input-output sequences for the design of checking experiments. Namely, a counterexample will be shown for one of the two statements. Furthermore, three generalized properties useful to demonstrate the above counterexample are presented.
Checking experiment, distinguishing sequence, fault checling, resolving sequence, sequential machine.
Y. Wakimura and N. Yoshida, "Comments on "Checking Experiments for Sequential Machines"," in IEEE Transactions on Computers, vol. 24, no. , pp. 1141-1142, 1975.