Document Type: Research Paper
Department of Mathematics, Shiraz Branch, Islamic Azad University, Shiraz, Iran
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.