• DocumentCode
    916414
  • Title

    Verification of reduced-state tables based on the pseudoequivalent merging technique

  • Author

    Bennetts, R.G.

  • Author_Institution
    University of Southampton, Department of Electronics, Southampton, UK
  • Volume
    8
  • Issue
    4
  • fYear
    1972
  • Firstpage
    84
  • Lastpage
    86
  • Abstract
    A state-reduction technique has recently been proposed, based on pseudoequivalent state-pair identification followed by merging and verification. This letter comments on the problems involved in the verification process.
  • Keywords
    finite automata; identification; merging; identification; merging; pseudoequivalent state pair identification finite automa; state reduction technique;
  • fLanguage
    English
  • Journal_Title
    Electronics Letters
  • Publisher
    iet
  • ISSN
    0013-5194
  • Type

    jour

  • DOI
    10.1049/el:19720062
  • Filename
    4235508
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=916414