计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (27): 52-53.DOI: 10.3778/j.issn.1002-8331.2010.27.013

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

格值有限状态自动机的同态和商自动机

雷红轩   

  1. 内江师范学院 数学与信息科学学院,四川省高等学校数值仿真重点实验室,四川 内江 641112
  • 收稿日期:2010-02-02 修回日期:2010-05-31 出版日期:2010-09-21 发布日期:2010-09-21
  • 通讯作者: 雷红轩

Homomorphism and quotient automata of lattice-valued finite states automata

LEI Hong-xuan   

  1. College of Mathematics and Information Sciences,Key Laboratory of Numerical Simulation of Sichuan,Neijiang Normal University,Neijiang,Sichuan 641112,China
  • Received:2010-02-02 Revised:2010-05-31 Online:2010-09-21 Published:2010-09-21
  • Contact: LEI Hong-xuan

摘要: 提出了格值有限状态自动机(LFSA)的同态、强同态的概念,研究了LFSAs同态、强同态的若干性质。在LFSAs强同态的基础上,得到了LFSA的商自动机及其最小化自动机,刻画了商自动机的性质。

关键词: 模糊自动机, 同态, 强同态, 商自动机

Abstract: The definition of homomorphism and strong homomorphism of lattice-valued finite states automata(LFSA for short) is presented,some properties of homomorphism and strong homomorphism of LFSAs are investigated.On the basis of strong homomorphism of LFSAs,quotient automata and minimal automata of LFSA are obtained,some characters of quotient automata are studied.

Key words: fuzzy automata, homomorphism, strong homomorphism, quotient automata

中图分类号: