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...

Quotient is a basic operation of formal languages, which plays key role in the construction minimal deterministic finite automata (DFA) and universal automata. In this paper, we extend to power series systemically investigate its implications study weighted particular, define two quotient operations for are called (left or right) quotients residuals respectively. Algebraic properties closure (w...

in this paper we introduce the notions of fuzzy transposition hypergroupsand fuzzy regular relations and investigate their basic properties.we also study fuzzy quotient hypergroups of a fuzzy transposition hypergroup.

In this paper we study various properties of the fuzzy linear maps over the fuzzy quotient spaces. In particular we obtain some exact sequences of the fuzzy linear maps over the fuzzy quotient spaces.

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 ...

Theories of fuzzy sets and type-2 fuzzy sets are powerful mathematical tools for modeling various types of uncertainty. In this paper we introduce the concept of type-2 fuzzy finite state automata and discuss the algebraic study of type-2 fuzzy finite state automata, i.e., to introduce the concept of homomorphisms between two type-2 fuzzy finite state automata, to associate a type-2 fuzzy trans...

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

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...

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...