BL-general fuzzy automata and minimal realization: Based on the associated categories

Document Type : Research Paper


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

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


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.