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
Link To Document