Alternating Regular Tree Grammars in the Framework of Lattice-Valued Logic
محل انتشار: مجله سیستم های فازی، دوره: 13، شماره: 2
سال انتشار: 1395
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 141
فایل این مقاله در 24 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_IJFS-13-2_006
تاریخ نمایه سازی: 28 خرداد 1401
چکیده مقاله:
In this paper, two different ways of introducing alternation for lattice-valued (referred to as {L}valued) regular tree grammars and {L}valued top-down tree automata are compared. One is the way which defines the alternating regular tree grammar, i.e., alternation is governed by the non-terminals of the grammar and the other is the way which combines state with alternation. The first way is taken over to prove a main theorem: the class of languages generated by an {L}valued alternating regular tree grammar {LAG}) is equal to the class of languages accepted by an {L}valued alternating top-down tree automaton {LAA}). The second way is taken over to define a new type of automaton by combining the {L}valued alternating top-down tree automaton with stack, called {L}-valued alternating stack tree automaton {LASA} and the generative power of it is compared to some well-known language classes, especially to {LAA} and to {LAG}Also, we have derived a characterization of the state alternating regular tree grammar {LSAG}) in terms of {LASA}.
کلیدواژه ها:
Lattice-valued logic ، Alternating top-down tree automaton ، State alternating regular tree grammar ، Alternating stack tree automaton
نویسندگان
Maryam Ghorani
Faculty of Mathematical Sciences, Shahrood University of Technology, Shahrood, Iran
Mohammad Mehdi Zahedi
Department of Mathematics, Graduate University of Advanced Technology, Kerman, Iran
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :