Key points are not available for this paper at this time.
This paper describes procedures for the design of experiments that distinguish a given n-state machine from all other machines which have n states or less. Such experiments can also be used in certain cases to determine whether or not a given machine is operating correctly. We shall be mainly concerned with finite-state, strongly connected machines which are in a reduced form.
Zvi Kohavi (Thu,) studied this question.