Pushdown automata based on lattice-valued logic: closure properties and decision problems
محل انتشار: دومین کنفرانس ملی محاسبات نرم
سال انتشار: 1396
نوع سند: مقاله کنفرانسی
زبان: انگلیسی
مشاهده: 346
فایل این مقاله در 5 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CSCG02_181
تاریخ نمایه سازی: 7 اسفند 1396
چکیده مقاله:
This paper introduces the concept of pushdown automata based on complete residuated lattice-valued logic (for short, -valued pushdown automata). We consider some closure properties of -valued pushdown automata, including max and star. Then, we give some fundamental decision problems including the membership-value, the emptiness-value and the finiteness-value problems
کلیدواژه ها:
نویسندگان
M. Ghorani
Faculty of Mathematical Sciences, Shahrood University of Technology, Shahrood, Iran