摘要
定义了有限自动机路代数的一个右理想,用以判断有限自动机状态的等价性及判断两个有限自动机之间的等价性,进而讨论循环有限自动机的等价性。
In this paper, a kind of right ideal of path algebra of finite automat is defined, which is used to determine the two given states （or two given finite automata） are equivalent. Moreover, equivalence of two cyclic finite automata is discussed.
基金
毕节学院科学研究基金项目
项目编号:20082009
关键词
有限自动机
路代数
等价
Finite Automata
Path Algebra
Equivalence
