کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
434433 689730 2014 11 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A note on the emptiness problem for alternating finite-memory automata
ترجمه فارسی عنوان
یک یادداشت در مورد مشکل خالی برای متناوب اتوماتیک محدود حافظه
کلمات کلیدی
الفبای بی انتها، اتوماتای ​​محدود حافظه متناوب، اتوماتای ​​درختی محدود به حافظه متناوب، مشکل خلأ
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی

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
نویسندگان
, , ,