Congruences and homomorphisms of fuzzy automata

被引:44
作者
Petkovic, T [1 ]
机构
[1] Univ Turku, Dept Informat Technol, FIN-20520 Turku, Finland
基金
芬兰科学院;
关键词
Fuzzy automata; algebra; congruences; homomorphisms;
D O I
10.1016/j.fss.2005.06.017
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Concepts of congruences and homomorphisms of fuzzy automata are defined and Homomorphism theorem is proved. Lattices of congruences of fuzzy automata are described and an algorithm for computing the greatest congruence contained in an equivalence of a fuzzy automaton is presented. It is used for minimization procedures for both fuzzy automata with and without outputs. Connections with previously known minimization algorithms are discussed. (c) 2005 Elsevier B.V. All rights reserved.
引用
收藏
页码:444 / 458
页数:15
相关论文
共 7 条
  • [1] On quotient machines of a fuzzy automaton and the minimal machine
    Basak, NC
    Gupta, A
    [J]. FUZZY SETS AND SYSTEMS, 2002, 125 (02) : 223 - 229
  • [2] Determinism and fuzzy automata
    Belohlávek, R
    [J]. INFORMATION SCIENCES, 2002, 143 (1-4) : 205 - 209
  • [3] Minimization algorithm of fuzzy finite automata
    Cheng, W
    Mo, ZW
    [J]. FUZZY SETS AND SYSTEMS, 2004, 141 (03) : 439 - 448
  • [4] Minimization of fuzzy finite automata
    Malik, DS
    Mordeson, JN
    Sen, MK
    [J]. INFORMATION SCIENCES, 1999, 113 (3-4) : 323 - 330
  • [5] Products of fuzzy finite state machines
    Malik, DS
    Mordeson, JN
    Sen, MK
    [J]. FUZZY SETS AND SYSTEMS, 1997, 92 (01) : 95 - 102
  • [6] Wee W.G., 1967, Ph.D. Dissertation
  • [7] FUZZY SETS
    ZADEH, LA
    [J]. INFORMATION AND CONTROL, 1965, 8 (03): : 338 - &