Congruences and homomorphisms of fuzzy automata

Authors:
Tatjana Petković
Affiliations:
Department of Information Technology, University of Turku, Lemminkäisenkatu 14 A, FIN-20520 Turku, Finland
Venue:
Fuzzy Sets and Systems
Year:
2006

Citing 5
Cited 11

Products of fuzzy finite state machines

Fuzzy Sets and Systems
Minimization of fuzzy finite automata

Information Sciences: an International Journal
On quotient machines of a fuzzy automaton and the minimal machine

Fuzzy Sets and Systems
Determinism and fuzzy automata

Information Sciences—Informatics and Computer Science: An International Journal
On generalizations of adaptive algorithms and application of the fuzzy sets concept to pattern classification

On generalizations of adaptive algorithms and application of the fuzzy sets concept to pattern classification

Determinization of fuzzy automata with membership values in complete residuated lattices

Information Sciences: an International Journal
Products of Mealy-type fuzzy finite state machines

Fuzzy Sets and Systems
Myhill--Nerode type theory for fuzzy languages and automata

Fuzzy Sets and Systems
Fuzzy relation equations and reduction of fuzzy automata

Journal of Computer and System Sciences
On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations

Fuzzy Sets and Systems
Non-deterministic algebraic structures for soft computing

IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Bisimulations for fuzzy automata

Fuzzy Sets and Systems
Construction of fuzzy automata from fuzzy regular expressions

Fuzzy Sets and Systems
Computation of the greatest simulations and bisimulations between fuzzy automata

Fuzzy Sets and Systems
Factorization of fuzzy automata

FCT'07 Proceedings of the 16th international conference on Fundamentals of Computation Theory
On residuation in multilattices: Filters, congruences, and homomorphisms

Fuzzy Sets and Systems

Quantified Score

Hi-index	0.20

Visualization

Abstract

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.