کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4952502 1442039 2016 23 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Efficient algorithms for membership in boolean hierarchies of regular languages
ترجمه فارسی عنوان
الگوریتم های کارآمد برای عضویت در سلسله مراتب بولی زبان های منظم
کلمات کلیدی
خودکار و زبان رسمی، پیچیدگی محاسباتی، سلسله مراتب عمق نقطه، سلسله مراتب بولی، تصمیم گیری، الگوریتم های کارآمد،
ترجمه چکیده
این مقاله الگوریتم های کارآمد را فراهم می کند که تصمیم گیری در مورد عضویت در کلاس های چندین سلسله مراتب بولی را برای آن که قبلا شناخته شده نبوده است (یا حتی تصمیم گیری). ما ویژگی های جدید زنجیره ای ممنوعه برای سطوح تک این سلسله مراتب را توسعه می دهیم و نتایج زیر را به دست می آوریم:
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
الگوریتم های کارآمد برای عضویت در سلسله مراتب بولی زبان های منظم
چکیده انگلیسی
This paper provides efficient algorithms that decide membership for classes of several Boolean hierarchies for which efficiency (or even decidability) were previously not known. We develop new forbidden-chain characterizations for the single levels of these hierarchies and obtain the following results:
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 646, 20 September 2016, Pages 86-108
نویسندگان
, , ,