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
相关论文
共 50 条
  • [1] Semigroup homomorphisms and fuzzy automata
    J. Močkoř
    Soft Computing, 2002, 6 (6) : 422 - 427
  • [2] CONGRUENCES AND HOMOMORPHISMS ON a Ω-ALGEBRAS
    Edeghagba, Elijah Eghosa
    Seselja, Branimir
    Tepavcevic, Andreja
    KYBERNETIKA, 2017, 53 (05) : 892 - 910
  • [3] STRONG HOMOMORPHISMS OF NON-RETURN AUTOMATA AND HOMOMORPHISMS OF AUTOMATA
    BEYGA, L
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1973, 21 (09): : 867 - 871
  • [4] ON RELATIONAL HOMOMORPHISMS OF AUTOMATA
    YEH, RT
    INFORMATION AND CONTROL, 1968, 13 (02): : 140 - &
  • [5] On residuation in multilattices: Filters, congruences, and homomorphisms
    Cabrera, I. P.
    Cordero, P.
    Gutierrez, G.
    Martinez, J.
    Ojeda-Aciego, M.
    FUZZY SETS AND SYSTEMS, 2014, 234 : 1 - 21
  • [6] HOMOMORPHISMS OF DISTRIBUTIVE LATTICES AS RESTRICTIONS OF CONGRUENCES
    GRATZER, G
    LAKSER, H
    CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1986, 38 (05): : 1122 - 1134
  • [7] CONGRUENCES OF FINITE AUTOMATA
    PLAKSIN, VA
    CYBERNETICS, 1982, 18 (01): : 51 - 54
  • [8] EXTENSION OF CONGRUENCES AND HOMOMORPHISMS TO TRANSLATIONAL HULLS
    REILLY, NR
    PACIFIC JOURNAL OF MATHEMATICS, 1974, 54 (01) : 209 - 228
  • [9] Homomorphisms and inverse homomorphisms on graph-walking automata
    Martynova, Olga
    Okhotin, Alexander
    THEORETICAL COMPUTER SCIENCE, 2023, 979
  • [10] Congruences and homomorphisms on n-ary semigroups
    Somsup, Chitlada
    Leerawat, Utsanee
    INTERNATIONAL JOURNAL OF MATHEMATICS AND COMPUTER SCIENCE, 2020, 15 (02): : 671 - 682