Comments on "Checking Experiments for Sequential Machines"

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.