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