Title of article :
Bisimulation for BL-general fuzzy automata
Author/Authors :
M. Shamsizadeh، M. Shamsizadeh نويسنده Department of Mathematics, Graduate University of Advanced Technology, Kerman, Iran , , M. M. Zahedi، M. M. Zahedi نويسنده M. M. Zahedi, M. M. Zahedi , K. Abolpour، K. Abolpour نويسنده Department of Mathematics, Kazerun Branch, Islamic Azad Univer- sity, Kazerun, Iran K. Abolpour, K. Abolpour
Issue Information :
دوماهنامه با شماره پیاپی 0 سال 2016
Abstract :
در اين مقاله, براي اتوماتاي فازي عمومي ,BL شبيه‌سازي دويي را تعريف مي‌كنيم و نشان مي‌دهيم كه اگر يك شبيه‌سازي دويي بين دو اتوماتاي فازي عمومي BL وجود داشته باشد, آنگاه آنها داراي رفتار يكساني هستند. براي يك اتوماتاي فازي عمومي BL داده شده, بزرگترين شبيه‌سازي دويي را براي اتوماتاي فازي عمومي BL به دست مي‌آوريم. سپس اگر ما بزرگترين شبيه‌سازي دويي را به كار ببريم, آنگاه ما يك اتوماتاي فازي عمومي BL خارج‌قسمتي را به دست مي‌آوريم كه اين خارج قسمت كمينه است, علاوه بر اين يك مورفيسم از اتوماتاي اولي به خارج قسمتي آن وجود دارد. همچنين براي دواتوماتاي فازي عمومي BL داده شده يك الگوريتم را ارايه مي‌دهيم كه شبيه‌سازي دويي را تعيين مي‌كند. در پايان براي شفافيت سازي اين مفاهيم جديد يك مثال ارايه مي‌دهيم.
Abstract :
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.
Journal title :
Iranian Journal of Fuzzy Systems (IJFS)
Journal title :
Iranian Journal of Fuzzy Systems (IJFS)
