Kleen’s Theorem for BL-general L-fuzzy automata
- سال انتشار: 1400
- محل انتشار: دوفصلنامه مرکز پژوهشی ریاضی ماهانی، دوره: 10، شماره: 2
- کد COI اختصاصی: JR_KJMMRC-10-2_010
- زبان مقاله: انگلیسی
- تعداد مشاهده: 383
نویسندگان
Behbahan Khatam Alanbia University of Technology, Khouzestan, Iran
Department of Mathematics Graduate University of Advanced Technology, Kerman, Iran
Shiraz Branch, Islamic Azad University, Shiraz, Iran
چکیده
The contribution of generl fuzzy automata to neural networks has been considerable, and dynamical fuzzy systems are becoming more and more popular and useful. Basic logic, or BL for short, has been introduced by Hájek [۵] in order to provide a general framework for formalizing statements of fuzzy nature. In this note, some of the closure properties of the BL-general fuzzy automaton based on lattice valued such as union, intersection, connection and a serial connection are considered, after that, the behavior of them are discussed. Moreover, for a given BL-general fuzzy automaton on the basis of lattice valued, a complete BL-general fuzzy automaton on the basis of lattice valued is presented. Afterward, we may test the Pumping Lemma for the BL-general fuzzy automaton based on lattice valued. In particular, a connection between the behavior of BL-general fuzzy automaton based on lattice valued and its language is presented. Also, it is proven that L is a recognizable set if and only if L is rational. Also, it is driven that Kleen’s Theorem is valid for the BL-general fuzzy automaton on the basis of lattice valued. Finally, we give some examples to clarify these notions.کلیدواژه ها
BL-general fuzzy automata, Closure properties, Behavior of fuzzy automata, Pumping Lemma, Kleen’s Theoremاطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.