Fuzzy relation equations and reduction of fuzzy automata

38Citations
Citations of this article
10Readers
Mendeley users who have this article in their library.

Abstract

We show that the state reduction problem for fuzzy automata is related to the problem of finding a solution to a particular system of fuzzy relation equations in the set of all fuzzy equivalences on its set of states. This system may consist of infinitely many equations, and finding its non-trivial solutions may be a very difficult task. For that reason we aim our attention to some instances of this system which consist of finitely many equations and are easier to solve. First, we study right invariant fuzzy equivalences, and their duals, the left invariant ones. We prove that each fuzzy automaton possesses the greatest right (resp. left) invariant fuzzy equivalence, which provides the best reduction by means of fuzzy equivalences of this type, and we give an effective procedure for computing this fuzzy equivalence, which works if the underlying structure of truth values is a locally finite residuated lattice. Moreover, we show that even better reductions can be achieved alternating reductions by means of right and left invariant fuzzy equivalences. We also study strongly right and left invariant fuzzy equivalences, which give worse reductions than right and left invariant ones, but whose computing is much easier. We give an effective procedure for computing the greatest strongly right (resp. left) invariant fuzzy equivalence, which is applicable to fuzzy automata over an arbitrary complete residuated lattice. © 2009 Elsevier Inc. All rights reserved.

Cite

CITATION STYLE

APA

Ćirić, M., Stamenković, A., Ignjatović, J., & Petković, T. (2010). Fuzzy relation equations and reduction of fuzzy automata. Journal of Computer and System Sciences, 76(7), 609–633. https://doi.org/10.1016/j.jcss.2009.10.015

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free