کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4950573 | 1440713 | 2017 | 12 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Classifying recognizable infinitary trace languages using word automata
ترجمه فارسی عنوان
طبقه بندی زبان های تشخیص قابل تشخیص با استفاده از کلمه اتوماتا
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We address the problem of providing a Borel-like classification of languages of infinite Mazurkiewicz traces, and provide a solution in the framework of Ï-automata over infinite words - which is invoked via the sets of linearizations of infinitary trace languages. We identify trace languages whose linearizations are recognized by deterministic weak or deterministic Büchi (word) automata. We present a characterization of the class of linearizations of all recognizable Ï-trace languages in terms of Muller (word) automata. Finally, we show that the linearization of any recognizable Ï-trace language can be expressed as a Boolean combination of languages recognized by our class of deterministic Büchi automata.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 256, October 2017, Pages 23-34
Journal: Information and Computation - Volume 256, October 2017, Pages 23-34
نویسندگان
Namit Chaturvedi, Marcus Gelderie,