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.
No takes yet. Share an insight, caveat, or question.
Zvi Kohavi (1973) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: