کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4950579 | 1440713 | 2017 | 23 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Measure properties of regular sets of trees
ترجمه فارسی عنوان
خصوصیات مجموعه های منظم درختان را اندازه گیری کنید
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
زبان های درخت مستطیل، تئوری اندازه گیری، پیچیدگی توپولوژیک،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We investigate measure theoretic properties of regular sets of infinite trees. As a first result, we prove that every regular set is universally measurable and that every Borel measure on the Polish space of trees is continuous with respect to a natural transfinite stratification of regular sets into Ï1 ranks. We also expose a connection between regular sets and the Ï-algebra of R-sets, introduced by A. Kolmogorov in 1928 as a foundation for measure theory. We show that the game tree languages Wi,k are Wadge-complete for the finite levels of the hierarchy of R-sets. We apply these results to answer positively an open problem regarding the game interpretation of the probabilistic μ-calculus.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 256, October 2017, Pages 108-130
Journal: Information and Computation - Volume 256, October 2017, Pages 108-130
نویسندگان
Tomasz Gogacz, Henryk Michalewski, Matteo Mio, MichaÅ Skrzypczak,