چکیده مقاله
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
کلیدواژهها
Lattice-valued pushdown automata Lattice-valued language Decision problems Lattice valued pushdown automata Lattice valued language
نویسندگان
M. Ghorani
Faculty of Mathematical Sciences, Shahrood University of Technology, Shahrood, Iran
شیوه ارجاع
Ghorani, M.,1396,Pushdown automata based on lattice-valued logic: closure properties and decision problems,2rd International Conference on Soft Computing,Rudsar
ارائهشده در
مجموعه مقالات دومین کنفرانس ملی محاسبات نرم1 آذر 1396 · رودسر