• DocumentCode
    1111095
  • Title

    A Matrix Method for Determining All Pairs of Compatible States of a Sequential Machine

  • Author

    Tomescu, Ioan

  • Author_Institution
    Department of Mathematics, University of Bucharest
  • Issue
    5
  • fYear
    1972
  • fDate
    5/1/1972 12:00:00 AM
  • Firstpage
    502
  • Lastpage
    503
  • Abstract
    In this note a matrix method is given that enables one to determine all pairs of compatible states in the case of incompletely specified sequential automata.
  • Keywords
    Boolean matrix, compatible states, sequential machine.; Algorithm design and analysis; Automata; Mathematics; Terminology; Boolean matrix, compatible states, sequential machine.;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/T-C.1972.223550
  • Filename
    1672143