• DocumentCode
    882856
  • Title

    Relationship between two concepts of equivalence for finite-state machines

  • Author

    Vairavan, K.

  • Author_Institution
    University of Wisconsin, Electrical Department, Milwaukee, USA
  • Volume
    5
  • Issue
    25
  • fYear
    1969
  • Firstpage
    655
  • Lastpage
    656
  • Abstract
    In the letter, the relationship between the well-known concept of `equivalence¿ and the less well known but important concept of `relational equivalence¿ of finite-state machines is examined, It is shown that, for two strongly connected finite-state machines, the two concepts are the same. Also for two non-degenerate finite-memory finite-state machines it is shown that the two concepts of equivalence are the same. These results, together with some results already known, lead to a table of relationship between equivalence and relational equivalence of finite-state machines.
  • Keywords
    equivalence classes; finite automata;
  • fLanguage
    English
  • Journal_Title
    Electronics Letters
  • Publisher
    iet
  • ISSN
    0013-5194
  • Type

    jour

  • DOI
    10.1049/el:19690489
  • Filename
    4210707