Fuzzy automata have long been accepted as a generalization of nondeterministic finite automata. A closer examination, however, shows that the fundamental property—nondeterminism—in nondeterministic finite automata has not been well embodied in the generalization. In this paper, we introduce nondeterministic fuzzy automata with or without -moves and fuzzy languages recognized by them. Furthermor...

anti-lock braking system (abs) is a nonlinear and time varying system including uncertainty, so it cannot be controlled by classic methods. intelligent methods such as fuzzy controller are used in this area extensively; however traditional fuzzy controller using simple type-1 fuzzy sets may not be robust enough to overcome uncertainties. for this reason an interval type-2 fuzzy controller is de...

We study interior operators from the point of view of fuzzy set theory. The present approach generalizes the particular cases studied previously in the literature in two aspects. First, we use complete residuated lattices as structures of truth values generalizing thus several important cases like the classical Boolean case, (left-)continuous t-norms, MV-algebras, BL-algebras, etc. Second, and ...

In this paper, we introduce the notion of fuzzy n-fold integral filter in BL-algebras and we state and prove several properties of fuzzy n-fold integral filters. Using a level subset of a fuzzy set in a BL-algebra, we give a characterization of fuzzy n-fold integral filters. Also, we prove that the homomorphic image and preimage of fuzzy n-fold integral filters are also fuzzy n-fold integral fi...

we prove that rs-bl-algebras are mv-algebras.

In this paper, our focus of attention is the proper propagationof fuzzy degrees in determinization of $Nondeterministic$ $Fuzzy$$Finite$ $Tree$ $Automata$ (NFFTA). Initially, two determinizationmethods are introduced which have some limitations (one inbehavior preserving and other in type of fuzzy operations). Inorder to eliminate these limitations and increasing theefficiency of FFTA, we defin...

In this study, some (fuzzy) filters of a Sheffer stroke BL-algebra and its properties are presented. To show relationship between filter fuzzy BL-algebra, we prove that f is (ultra) C if only fp either empty or for each p ∈ [0, 1], it satisfied = f(1) the characteristic function nonempty subset BL-algebra.

In the current study, we define different L-valued operators on LB-valued general fuzzy automata or simply GFA, where B is considered as a complete infinitely distributive lattice of propositions about GFA. particular, this study demonstrates that successor and predecessor induce co-topologies while residuated approximation topologies state set given Further, show continuity separation properti...