کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
436357 | 689994 | 2014 | 15 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Dense-choice Counter Machines revisited
ترجمه فارسی عنوان
شمارنده انتخاب ماشین آلات بازشماری دوباره؟
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
شمارنده ماشین آلات، تایید، دسترسی پذیری، مخلوط منطق عددی واقعی، معکوس کردن
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
This paper clarifies the picture about Dense-choice Counter Machines (DCM), a less studied version of Counter Machines where counters range on a dense, rather than discrete, domain. The definition of DCM is revisited to make it extend (discrete) Counter Machines, and new undecidability and decidability results are proved. Using the first-order additive mixed theory of reals and integers, the paper presents a logical characterization of the sets of configurations reachable by reversal-bounded DCM. We also relate the DCM model to more common models of systems.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 542, 3 July 2014, Pages 17–31
Journal: Theoretical Computer Science - Volume 542, 3 July 2014, Pages 17–31
نویسندگان
Florent Bouchy, Alain Finkel, Pierluigi San Pietro,