The incompletely-specified finite-state stochastic machine sequential equivalence and reduction

The stochastic sequential machine is invariably treated as the stochastic extension of the completely-specified deterministic machine. This paper investigates the incompletely-specified finite-state stochastic sequential machine from the viewpoint of machine equivalence and reduction. Definitions are chosen and procedures developed so that they reduce to the conventional froms in the special cases of complete specification and/or deterministic machines.