I-homomorphism for BL-I-General L-fuzzy Automata

Document Type : Research Paper

Authors

1 Department of Mathematics, Graduate University of Advanced Technology, Kerman, Iran

2 Department of Mathematics Graduate University of Advanced Technology, Kerman, Iran

3 Department of Mathematics, Shiraz Branch, Islamic Azad University, Shiraz, Iran

Abstract

Taking into account the notion of BL-general fuzzy automaton, in the present study we define the notation of BL-intuitionistic general L-fuzzy automaton and I-bisimulation for BL-intuitionistic general L-fuzzy automaton.
Then for a given BL-intuitionistic general L-fuzzy automaton, we obtain the greatest I-bisimulation. According to this notion, we give the structure of quotient BL-intuitionistic general L-fuzzy automaton. Fortunately, this quotient is the minimal BL-intuitionistic general L-fuzzy automaton. In addition, in this study, we show that if there is an I-bisimulation between two BL-intuitionistic general L-fuzzy automata, then they have the same behavior. Furthermore, we give an algorithm which determines the I-bisimulation between any two BL-intuitionistic general L-fuzzy automata. To clarify the notions and the results obtained in this paper, we have submitted some examples as well.

Keywords