Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences

Right invariant fuzzy quasi-orders for fuzzy automata are broadly studied in the recent literature, as they arise as solutions to particular systems of fuzzy relation equations and inequalities. Some of their applications include determinization and state reduction procedures, as well as simulations...

Full description

Saved in:
Bibliographic Details
Published in:Fuzzy sets and systems 2018-05, Vol.339, p.99-118
Main Authors: Micić, Ivana, Jančić, Zorana, Stanimirović, Stefan
Format: Article
Language:English
Subjects:
Complete residuated lattice
Fuzzy automaton
Fuzzy equivalence
Fuzzy quasi-order
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Right invariant fuzzy quasi-orders for fuzzy automata are broadly studied in the recent literature, as they arise as solutions to particular systems of fuzzy relation equations and inequalities. Some of their applications include determinization and state reduction procedures, as well as simulations and bisimulations for fuzzy automata. In this paper we provide a procedure for computing the greatest right invariant fuzzy quasi-order for a given fuzzy automaton over a complete residuated lattice. The proposed procedure terminates in a finite number of steps whenever the underlying structure of the fuzzy automaton is locally finite. When the previous condition is not satisfied, we show that the greatest right invariant fuzzy quasi-order can be obtained by taking the limit value of the convergent array of fuzzy quasi-orders for fuzzy automata over BL-algebras on the real unit interval [0,1]. Analogous procedures for computing the greatest left invariant fuzzy quasi-order, as well as the greatest right and left invariant fuzzy equivalences for a fuzzy automaton are also presented. In addition, the faster algorithm for computing the greatest right invariant equivalence on a nondeterministic automaton is also presented.
ISSN:0165-0114
1872-6801
DOI:10.1016/j.fss.2017.09.004