Bisimulation for BL-general fuzzy automata
Publish place: Iranian Journal of Fuzzy Systems، Vol: 13، Issue: 4
Publish Year: 1395
نوع سند: مقاله ژورنالی
زبان: English
View: 134
This Paper With 16 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_IJFS-13-4_004
تاریخ نمایه سازی: 24 خرداد 1401
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.
Keywords:
Authors
M. Shamsizadeh
Department of Mathematics, Graduate University of Advanced Technology, Kerman, Iran
M. M. Zahedi
Department of Mathematics, Graduate University of Advanced Technology, Kerman, Iran
K. Abolpour
Department of Mathematics, Kazerun Branch, Islamic Azad University, Kazerun, Iran
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :