Bisimulation for BL-general fuzzy automata
- سال انتشار: 1395
- محل انتشار: مجله سیستم های فازی، دوره: 13، شماره: 4
- کد COI اختصاصی: JR_IJFS-13-4_004
- زبان مقاله: انگلیسی
- تعداد مشاهده: 239
نویسندگان
Department of Mathematics, Graduate University of Advanced Technology, Kerman, Iran
Department of Mathematics, Graduate University of Advanced Technology, Kerman, Iran
Department of Mathematics, Kazerun Branch, Islamic Azad University, Kazerun, Iran
چکیده
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.کلیدواژه ها
BL-general fuzzy automata, Bisimulation, Reduction, General fuzzy automata, Quotient automataاطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.