Title :
A Remark on Determining the Number of States of a Sequential Machine
Author :
Harrison, Michael
Author_Institution :
University of California, Berkeley, Calif.
Abstract :
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.
Keywords :
Algorithm design and analysis; Automatic control; Automatic testing; Boolean functions; Digital control; Logic; Minimization; Presses; Sequential analysis; Switching systems;
Journal_Title :
Electronic Computers, IEEE Transactions on
DOI :
10.1109/PGEC.1967.264788