شماره ركورد كنفرانس
3860
عنوان مقاله
Pushdown automata based on lattice-valued logic: closure properties and decision problems
پديدآورندگان
Ghorani M ghorani@shahroodut.ac.ir Shahrood University of Technology
تعداد صفحه
5
كليدواژه
Lattice , valued pushdown automata , Lattice , valued language , Decision problems
سال انتشار
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
كشور
ايران
لينک به اين مدرک