کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4952266 | 1442025 | 2017 | 26 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Counter machines, Petri Nets, and consensual computation
ترجمه فارسی عنوان
دستگاه های شمارنده، پتری نیتس و محاسبات توافق شده
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
زبان رسمی، دستگاه چند شمارنده، زمان واقعی ماشین تقریبا کور، زبان پتری زبان، فرم پتری خالص، دستگاه شمارنده نیمه قطعی زبان کنونی دستگاه چند منظوره برنامه ریزی مدولا،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We establish the relation between two language recognition models that use counters and operate in real-time: Greibach's partially blind machines operating in real time (RT-PBLIND), which recognize Petri Net languages, and the consensually regular (CREG) language model of the authors. The latter is based on synchronized computational threads of a finite automaton, where at each step one thread acts as the leader and all other threads as followers. We introduce two new normal forms of RT-PBLIND machines (and Petri Nets), such that counter operations are scheduled and rarefied, and transitions are quasi-deterministic, i.e., the finite automaton obtained by eliminating counter moves is deterministic. We prove that the CREG family can simulate any normalized RT-PBLIND machine, but it also contains the non-RT-PBLIND language {anbn|n>1}â.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 664, 15 February 2017, Pages 91-116
Journal: Theoretical Computer Science - Volume 664, 15 February 2017, Pages 91-116
نویسندگان
Stefano Crespi Reghizzi, Pierluigi San Pietro,