Comments on "Checking Experiments for Sequential Machines"
Yoshiaki Wakimura, N. Yoshida · IEEE Transactions on Computers · 1975
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.