دانلود کتاب Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity
کتاب روش‌های نظری مجموعه‌های توصیفی در نظریه اتوماتا: تصمیم‌پذیری و پیچیدگی توپولوژیکی نسخه زبان اصلی
دانلود کتاب روش‌های نظری مجموعه‌های توصیفی در نظریه اتوماتا: تصمیم‌پذیری و پیچیدگی توپولوژیکی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity
نام کتاب : Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity
ویرایش : 1
عنوان ترجمه شده به فارسی : روش‌های نظری مجموعه‌های توصیفی در نظریه اتوماتا: تصمیم‌پذیری و پیچیدگی توپولوژیکی
سری : Lecture Notes in Computer Science 9802
نویسندگان : Michał Skrzypczak (auth.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2016
تعداد صفحات : 212
ISBN (شابک) : 9783662529478 , 9783662529461
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب بر اساس پایان‌نامه دکتری «روش‌های نظری مجموعه‌های توصیفی در تئوری خودکار» است که در سال ۲۰۱۵ جایزه E.W. Beth را برای پایان‌نامه‌های برجسته در زمینه‌های منطق، زبان و اطلاعات دریافت کرد. این پایان نامه ارتباطات غیرمنتظره ای را بین مفاهیم پیشرفته در منطق، نظریه مجموعه های توصیفی، توپولوژی و نظریه اتوماتا نشان می دهد و بینش عمیق بسیاری را در مورد تعامل بین این زمینه ها ارائه می دهد. این دیدگاه‌ها دیدگاه‌های جدیدی را در مورد مسائل محوری در نظریه اتوماتا بر روی کلمات و درختان بی‌نهایت باز می‌کند و پیشرفت‌های بسیار چشمگیری را در این نظریه از نقطه نظر توپولوژی ارائه می‌دهد.
"…تز Michał Skrzypczak مطمئناً آنچه را که از ریاضیات عالی انتظار داریم ارائه می دهد: ارتباطات غیرمنتظره جدید بین مفاهیم پیشینی متمایز و اثبات هایی که شامل ایده های روشنگرانه است. توماس کولکام.
فهرست مطالب :
Front Matter....Pages I-XIII
Basic Notions....Pages 1-26
Front Matter....Pages 27-27
Introduction....Pages 29-36
Collapse for Unambiguous Automata....Pages 37-43
When a Büchi Language Is Definable in wmso ....Pages 45-69
Index Problems for Game Automata....Pages 71-89
Front Matter....Pages 91-91
When a Thin Language Is Definable in wmso ....Pages 93-119
Recognition by Thin Algebras....Pages 121-135
Uniformization on Thin Trees....Pages 137-156
Front Matter....Pages 157-157
Descriptive Complexity of mso+u ....Pages 159-171
Undecidability of mso+u ....Pages 173-181
Separation for \(\omega \mathrm {B}\) - and \(\omega \mathrm {S}\) -regular Languages....Pages 183-203
Conclusions....Pages 205-206
Back Matter....Pages 207-211
توضیحاتی در مورد کتاب به زبان اصلی :
The book is based on the PhD thesis “Descriptive Set Theoretic Methods in Automata Theory,” awarded the E.W. Beth Prize in 2015 for outstanding dissertations in the fields of logic, language, and information. The thesis reveals unexpected connections between advanced concepts in logic, descriptive set theory, topology, and automata theory and provides many deep insights into the interplay between these fields. It opens new perspectives on central problems in the theory of automata on infinite words and trees and offers very impressive advances in this theory from the point of view of topology.
"…the thesis of Michał Skrzypczak offers certainly what we expect from excellent mathematics: new unexpected connections between a priori distinct concepts, and proofs involving enlightening ideas.” Thomas Colcombet.
پست ها تصادفی