کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
436909 | 690051 | 2007 | 10 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Classifying regular languages by a split game
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
In this paper, we introduce the split game, a variant of the Ehrenfeucht–Fraïssé game from logic, which is useful for analyzing the expressive power of classes of generalized regular expressions. An extension of the split game to generalized ω-regular expressions is also established. To gain insight into how the split game can be applied to attack the long-standing generalized star height 2 problem, we propose and solve the omega power problem, a similar but tractable problem in the context of ω-languages. Namely we show that omega powers, together with boolean combinations and concatenations, are not sufficient to express the class of ω-regular languages.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 374, Issues 1–3, 20 April 2007, Pages 181-190
Journal: Theoretical Computer Science - Volume 374, Issues 1–3, 20 April 2007, Pages 181-190