There are two kinds of bisimulation, namely crisp and fuzzy, between fuzzy structures such as automata, labeled transition systems, Kripke models interpretations in description logics. Fuzzy bisimulations automata over a complete residuated lattice have been introduced by ?iri? et al. 2012. Logical characterizations (respectively, logics) the [0,1] with Gödel t-norm provided Fan 2015 Nguyen 202...

In this paper, we de ne the concepts of general fuzzy recognizer, language recognized by a general fuzzy recognizer, the accessible and the coac- cessible parts of a general fuzzy recognizer and the reversal of a general fuzzy recognizer. Then we obtain the relationships between them and construct a topology and some hypergroups on a general fuzzy recognizer.

In this paper, we dene the concepts of compatibility between twofuzzy subsets on Q, the set of states of a max- min general fuzzy automatonand transitivity in a max-min general fuzzy automaton. We then construct auniform structure on Q, and dene a topology on it. We also dene the conceptof semi-uniform structures on a nonempty set X and construct a semi-uniformstructure on the set of states of ...

The concepts of (∈,∈ ∨ q)-fuzzy (implicative, positive implicative and fantastic) filters of BL-algebras are introduced and some related properties are investigated. Some characterizations of these generalized fuzzy filters are derived. In particular, we describe the relationships among ordinary fuzzy (implicative, positive implicative and fantastic) filters, (∈,∈∨q)-fuzzy (implicative, positiv...

The concept of quasi-coincidence of a fuzzy interval value with an interval valued fuzzy set is considered. In fact, this is a generalization of quasi-coincidence of a fuzzy point with a fuzzy set. By using this new idea, the notion of interval valued (∈,∈ ∨q)-fuzzy filters in BL-algebras which is a generalization of fuzzy filters of BL-algebras, is defined, and related properties are investiga...

We show that the size reduction problem for fuzzy automata is related to the problem of solving a particular system of fuzzy relation equations. This system consists of infinitely many equations, and finding its general solution is a very difficult task, so we first consider one of its special cases, a finite system whose solutions, called right invariant fuzzy equivalences, are common generali...

In this paper, the author examines the notion of n-fold fantastic and fuzzy n-fold fantastic filters in BLalgebras. Several characterizations of fuzzy n-fold fantastic filters are given. The author shows that every n-fold (fuzzy n-fold) fantastic filter is a filter (fuzzy filter), but the converse is not true. Using a level set of a fuzzy set in a BL-algebra, the author gives a characterization...

we present some connections between the max-min general fuzzy automaton theory and the hyper structure theory. first, we introduce a hyper bck-algebra induced by a max-min general fuzzy automaton. then, we study the properties of this hyper bck-algebra. particularly, some theorems and results for hyper bck-algebra are proved. for example, it is shown that this structure consists of different ty...

The aim of this paper is to introduce the notion of (∈,∈∨ q)-fuzzy (implicative, MV and G-) filters of pseudo-BL algebras and to investigate some of their related properties. Some characterization theorems of these generalized fuzzy (implicative) filters are derived. The relationship among these generalized fuzzy filters of pseudo-BL algebras is considered. It is proved that an (∈,∈ ∨q)-fuzzy f...

 ‎Let $tilde{F}=(Q,S,tilde{R},Z,omega,tilde{delta},‎ F_1,F_2)$‎ ‎be a general fuzzy automaton and the set of its states be a group.‎ ‎The aim of this paper is the study of applications of a group in a‎ ‎general fuzzy automaton‎. ‎For this purpose‎, ‎we define the concepts‎ ‎of fuzzy normal kernel of a general fuzzy automaton‎, ‎fuzzy kernel‎ ‎of a general fuzzy automaton‎, ‎adjustable‎, ‎multip...