• DocumentCode
    958673
  • Title

    A Decomposition Method of Determining Maximum Compatibles

  • Author

    Roy, P.K.Sinha ; Sheng, C.L.

  • Author_Institution
    Department of Electrical Engineering, Faculty of Pure and Applied Science, University of Ottawa, Ottawa, Ont., Canada.
  • Issue
    3
  • fYear
    1972
  • fDate
    3/1/1972 12:00:00 AM
  • Firstpage
    309
  • Lastpage
    312
  • Abstract
    A direct method of determining the maximum compatibility sets of an incompletely specified flow table of a sequential machine is presented. Subsets of pairwise incompatibles are utilized to decompose the set of all states in a step-by-step process into the maximum compatibles in a few steps. The method is simpler and faster than previously reported tabular, algebraic, and graphical techniques.
  • Keywords
    Joining processes; Decomposition tree; flow table; incompletely specified sequential machines; pairwise incompatibles;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/TC.1972.5008956
  • Filename
    5008956