دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
دانلود کتاب پیچیدگی توصیفی سیستم های رسمی: هجدهمین کنفرانس بین المللی IFIP WG 1.2، DCFS 2016، بخارست، رومانی، 5-8 ژوئیه، 2016. مجموعه مقالات
مشخصات کتاب
Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
ویرایش: [1 ed.] نویسندگان: Cezar Câmpeanu, Florin Manea, Jeffrey Shallit (eds.) سری: Lecture Notes in Computer Science 9777 ISBN (شابک) : 9783319411132, 9783319411149 ناشر: Springer International Publishing سال نشر: 2016 تعداد صفحات: XVI, 217 [233] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
قیمت کتاب (تومان) : 59,000
در صورت تبدیل فایل کتاب Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیچیدگی توصیفی سیستم های رسمی: هجدهمین کنفرانس بین المللی IFIP WG 1.2، DCFS 2016، بخارست، رومانی، 5-8 ژوئیه، 2016. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیچیدگی توصیفی سیستم های رسمی: هجدهمین کنفرانس بین المللی IFIP WG 1.2، DCFS 2016، بخارست، رومانی، 5-8 ژوئیه، 2016. مجموعه مقالات
کتاب او مجموعه مقالات داوری هجدهمین کنفرانس بین‌المللی پیچیدگی توصیفی سیستم‌های رسمی، DCFS 2016، که در بخارست، رومانی، در ژوئیه 2016 برگزار شد را تشکیل می‌دهد. پیچیدگی توصیفی رشته‌ای در علوم کامپیوتر است که به اندازه همه نوع اشیایی که در مدل‌های محاسباتی رخ می‌دهند، می‌پردازد، مانند ماشین‌های تورینگ، ماشین‌های کوچک، گرامرها، سیستم‌های اتصال و غیره. موضوعات این کنفرانس با تمام جنبه های پیچیدگی توصیفی مرتبط است.
توضیحاتی درمورد کتاب به خارجی
his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016. The 13 full papers presented together with 4 invited talks were carefully reviewed and selected from 21 submissions.Descriptional Complexity is a field in Computer Science that deals with the size of all kind of objects that occur in computational models, such as Turing Machines, finte automata, grammars, splicing systems and others. The topics of this conference are related to all aspects of descriptional complexity.
فهرست مطالب
Front Matter....Pages I-XVI
Completely Reachable Automata....Pages 1-17
Heapability, Interactive Particle Systems, Partial Orders: Results and Open Problems....Pages 18-28
Self-Verifying Finite Automata and Descriptional Complexity....Pages 29-44
On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection....Pages 45-59
Unrestricted State Complexity of Binary Operations on Regular Languages....Pages 60-72
On the State Complexity of the Shuffle of Regular Languages....Pages 73-86
MSO-definable Properties of Muller Context-Free Languages Are Decidable....Pages 87-97
Contextual Array Grammars with Matrix and Regular Control....Pages 98-110
Descriptional Complexity of Graph-Controlled Insertion-Deletion Systems....Pages 111-125
Operations on Weakly Recognizing Morphisms....Pages 126-137
Descriptional Complexity of Bounded Regular Languages....Pages 138-152
The Complexity of Languages Resulting from the Concatenation Operation....Pages 153-167
Minimal and Reduced Reversible Automata....Pages 168-179
Unary Self-verifying Symmetric Difference Automata....Pages 180-191
State Complexity of Prefix Distance of Subregular Languages....Pages 192-204
Two Results on Discontinuous Input Processing....Pages 205-216
Back Matter....Pages 217-217
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Emergency Market Mapping and Analysis Toolkit
دانلود کتاب Molecular Aspects of Transport Proteins
دانلود کتاب Industrial Relations in Africa
دانلود کتاب Cakes by Melissa life is what you bake it: 120+ recipes for cakes, icings, fillings, and toppings for endless flavor combinations from the creative force behind Baked by Melissa
