• DocumentCode
    1102653
  • Title

    Extending the Definition of Prime Compatibility Classes of States in Incomplete Sequential Machine Reduction

  • Author

    Luccio, Fabrizio

  • Author_Institution
    IEEE
  • Issue
    6
  • fYear
    1969
  • fDate
    6/1/1969 12:00:00 AM
  • Firstpage
    537
  • Lastpage
    540
  • Abstract
    A procedure is illustrated to reduce the number of classes of internal states to be considered in the state minimization problem for incompletely specified sequential machines. The procedure leads to an extension of the definition of prime compatibility classes of states. It is based on the updating of the logical closure constraints for prime classes due to previous eliminations of nonprime ones. An additional, more complex elimination mechanism is also presented.
  • Keywords
    Additional elimination rules, extended prime classes, prime compatibility classes of states, reduction of incomplete sequential machines, updating of the logical closure constraints.; Displays; Helium; TV; Tin; Additional elimination rules, extended prime classes, prime compatibility classes of states, reduction of incomplete sequential machines, updating of the logical closure constraints.;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/T-C.1969.222706
  • Filename
    1671299