Marzieh Shamsizadeh - Department of Mathematics, Graduate University of Advanced Technology, Kerman, Iran
Mohammad Mehdi Zahedi - Department of Mathematics Graduate University of Advanced Technology, Kerman, Iran
Khadijeh Abolpour - Department of Mathematics Shiraz Branch, Islamic Azad University Shiraz, Iran

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.

BL-general fuzzy automata, BL-intuitionistic general L-fuzzy automata, Bisimulation, Quotient automata, Minimal BL-general fuzzy automata