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.
Published in:
Computers, IEEE Transactions on
(Volume:C-21
,
Issue:
12
)
Date of Publication: Dec. 1972