کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6875417 1441951 2018 12 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Variations of checking stack automata: Obtaining unexpected decidability properties
ترجمه فارسی عنوان
تغییرات چک کردن اتوماتیک پشته: به دست آوردن خواص قابل حل غیر منتظره
کلمات کلیدی
ترجمه چکیده
ما یک مدل پذیرش زبان یک طرفه (یک نوع از ماشین حساب پشته چک) را معرفی میکنیم و ویژگیهای قابل قبولی زیر را نشان میدهیم:
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
تغییرات چک کردن اتوماتیک پشته: به دست آوردن خواص قابل حل غیر منتظره
چکیده انگلیسی
We introduce a model of one-way language acceptors (a variant of a checking stack automaton) and show the following decidability properties:
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 738, 22 August 2018, Pages 1-12
نویسندگان
, ,