计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (7): 34-35.

• 研究、探讨 • 上一篇    下一篇

循环自动机的等价性

黄飞丹1,曹发生1,2   

  1. 1.毕节学院 数学系,贵州 毕节 551700
    2.毕节学院 逻辑、语言与认知研究中心,贵州 毕节 551700
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-03-01 发布日期:2011-03-01

Equivalence of cyclic automata

HUANG Feidan1,CAO Fasheng1,2   

  1. 1.Department of Mathematics,Bijie University,Bijie,Guizhou 551700,China 2.Center of Logic,Language and Cognition,Bijie University,Bijie,Guizhou 551700,China
  • Received:1900-01-01 Revised:1900-01-01 Online:2011-03-01 Published:2011-03-01

摘要: 主要讨论了两个循环有限自动机的等价性与循环有限自动机的生成子之间的关系,在某些条件下给出了两个循环有限自动机等价的充分必要条件。

关键词: 循环有限自动机, 等价, 极小有限自动机

Abstract: The relation of equivalence of cyclic finite automata and their generators is discussed.And a necessary and sufficient condition of the equivalence of two finite automata is given.

Key words: cyclic finite automata, equivalence, minimal automata