作者: M. C. Paull , S. H. Unger
关键词:
摘要: Given a sequential switching function in the form of flow table which some entries are unspecified, problem reducing number rows that is extremely complex, and cannot, general, be solved by any simple extension methods used for completely specified functions. An analysis presented, partially enumerative solution evolved. A rough indication efficiency given procedures may obtained from fact these techniques have been successfully applied to approximately two dozen tables ranging up about 15 rows. No required more than hours.