© 1973 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||||
Machine distinguishing experiments

1 Departments of Electrical Engineering and Computer Science, Technion, Israel Institute of Technology, Haifa, Israel, 2 University of Paris, Paris, France, 3 TelradTelecommunication and Electronic Industries, Lod, Israel and Department of Electrical Engineering, Technion, Haifa, Israel
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.
Received March 1972.
* Department of Electrical Engineering and Computer Science, Technion, Israel Institute of Technology, Haifa, Israel.
¶ TelradTelecommunication and Electronic Industries, Lod, Israel; and Department of Electrical Engineering, Technion, Haifa, Israel.
University of Paris, France.