I-Homomorphism For Bl-I-General L-Fuzzy Automata

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.