TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS
محل انتشار: مجله سیستم های فازی، دوره: 15، شماره: 7
سال انتشار: 1397
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 151
فایل این مقاله در 17 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_IJFS-15-7_009
تاریخ نمایه سازی: 17 خرداد 1401
چکیده مقاله:
In this paper, at first we define the concepts of response function and accessible states of a complete residuated lattice-valued (for simplicity we write \mathcal{L}-valued) tree automaton with a threshold c. Then, related to these concepts, we prove some lemmas and theorems that are applied in considering some decision problems such as finiteness-value and emptiness-value of recognizable tree languages. Moreover, we propose a reduction algorithm for \mathcal{L}-valued tree automata with a threshold c. The goal of reducing an \mathcal{L}-valued tree automaton is to obtain an \mathcal{L}-valued tree automaton with reduced number of states%that all of its states are accessible all of which are accessible, in addition it recognizes the same language as the first one given. We compare our algorithm with some other algorithms in the literature. Finally, utilizing the obtained results, we consider some fundamental decision problems for \mathcal{L}-valued tree automata including the membership-value, the emptiness-value, the finiteness-value, the intersection-value and the equivalence-value problems.
کلیدواژه ها:
نویسندگان
Maryam Ghorani
Faculty of Mathematical Sciences, Shahrood University of Technology, Shahrood, Iran.
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :