کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
435476 | 689910 | 2016 | 22 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Ultrafilters on words for a fragment of logic
ترجمه فارسی عنوان
فیلترهای فوق العاده برای کلمات برای یک قطعه از منطق
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We give a method for specifying ultrafilter equations and identify their projections on the set of profinite words. Let BB be the set of languages captured by first-order sentences using unary predicates for each letter, arbitrary uniform unary numerical predicates and a predicate for the length of a word. We illustrate our methods by giving ultrafilter equations characterising BB and then projecting these to obtain profinite equations characterising B∩RegB∩Reg. This suffices to establish the decidability of the membership problem for B∩RegB∩Reg.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 610, Part A, 11 January 2016, Pages 37–58
Journal: Theoretical Computer Science - Volume 610, Part A, 11 January 2016, Pages 37–58
نویسندگان
Mai Gehrke, Andreas Krebs, Jean-Éric Pin,