BL-general fuzzy automata and minimal realization: Based on the associated categories
نویسندگان
1 Department of Mathematics, Shiraz Branch, Islamic Azad University, Shiraz, Iran
2 Department of Mathematics, Graduate University of Advanced Technology, Kerman, Iran
3 Department of Mathematics, Graduate University of Advanced Technology, Kerman, Iran
doi
10.22111/ijfs.2020.5117چکیده
The present paper is an attempt to study the minimal BL-general fuzzy automata which realizes the given fuzzy behavior. Of two methods applied for construction of such automaton presented here, one has been based on Myhill-Nerode's theory while the other has been based on derivatives of the given fuzzy behavior. Meanwhile, the categories of BL-general fuzzy automata and fuzzy behavior, along with a functorial relationship between them, are introduced.