On the Uniqueness of Minimal-State Stochastic Sequential Machines
T.T. Nieh · IEEE Transactions on Computers · 1970
A necessary and sufficient condition for a minimal- state stochastic sequential machine to be unique (up to renumbering the states) is described. Furthermore, a geometric characterization of the class of state-equivalent machines is given.