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 :
بازگشت