A Remark on Determining the Number of States of a Sequential Machine
Michael A. Harrison · IEEE Transactions on Electronic Computers · 1967
Results in the literature on sequential machines prove that it is not possible to determine the minimal form of a machine by external measurements. By changing the concept of external measurement, an ``effective solution'' to this identification problem is given. The solution utilizes an important result in the theory of sequential relations.