The Simplification of Sequential Machines with Input Restrictions

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.

This publication has 0 references indexed in Scilit: