Bisimulation for BL-general fuzzy automata
نویسندگان
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, Kazerun Branch, Islamic Azad University, Kazerun, Iran
doi
10.22111/ijfs.2016.2594چکیده
In this note, we define bisimulation for BL-general fuzzy automata and show that if there is a bisimulation between two BL-general fuzzy automata, then they have the same behavior.For a given BL-general fuzzy automata, we obtain the greatest bisimulation for the BL-general fuzzy automata. Thereafter, if we use the greatest bisimulation, then we obtain a quotient BL-general fuzzy automata and this quotient is minimal, furthermore there is a morphism from the first one to its quotient.Also, for two given BL-general fuzzy automata we present an algorithm, which determines bisimulation between them.Finally, we present some examples to clarify these new notions.
