Title :
The Simplification of Sequential Machines with Input Restrictions
Author :
Kim, Joonki ; Newborn, Monroe M.
Author_Institution :
Department of Electrical Engineering and Computer Science, Columbia University
Abstract :
A procedure is presented for simplifying the flow table of a sequential machine M when, in addition to the given flow table, it is specified that certain input sequences cannot occur. It is assumed that M receives its input from the output of another machine M, and that the restricted sequences are therefore those sequences that M, cannot generate.
Keywords :
Composite machines, flow table simplification, input restricted flow table, sequential machines.; Algorithm design and analysis; Inspection; Linear programming; Machine learning; Notice of Violation; Pattern recognition; Pediatrics; Piecewise linear techniques; Stochastic processes; Vectors; Composite machines, flow table simplification, input restricted flow table, sequential machines.;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/T-C.1972.223521
