کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
434433 | 689730 | 2014 | 11 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A note on the emptiness problem for alternating finite-memory automata
ترجمه فارسی عنوان
یک یادداشت در مورد مشکل خالی برای متناوب اتوماتیک محدود حافظه
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
الفبای بی انتها، اتوماتای محدود حافظه متناوب، اتوماتای درختی محدود به حافظه متناوب، مشکل خلأ
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We present alternative relatively simple and self-contained proofs of decidability of the emptiness problems for one-register alternating finite-memory automata and one-register alternating finite-memory tree automata.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 526, 20 March 2014, Pages 97–107
Journal: Theoretical Computer Science - Volume 526, 20 March 2014, Pages 97–107
نویسندگان
Daniel Genkin, Michael Kaminski, Liat Peterfreund,