دانلود کتاب Descriptional Complexity of Formal Systems: 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
کتاب پیچیدگی توصیفی سیستم های رسمی: پانزدهمین کارگاه بین المللی، DCFS 2013، لندن، ON، کانادا، 22-25 جولای، 2013. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب پیچیدگی توصیفی سیستم های رسمی: پانزدهمین کارگاه بین المللی، DCFS 2013، لندن، ON، کانادا، 22-25 جولای، 2013. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Descriptional Complexity of Formal Systems: 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
نام کتاب : Descriptional Complexity of Formal Systems: 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : پیچیدگی توصیفی سیستم های رسمی: پانزدهمین کارگاه بین المللی، DCFS 2013، لندن، ON، کانادا، 22-25 جولای، 2013. مجموعه مقالات
سری : Lecture Notes in Computer Science 8031 Theoretical Computer Science and General Issues
نویسندگان : Cezar Câmpeanu (auth.), Helmut Jurgensen, Rogério Reis (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2013
تعداد صفحات : 298
ISBN (شابک) : 9783642393099 , 9783642393105
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات داوری پانزدهمین کارگاه بین‌المللی پیچیدگی توصیفی سیستم‌های رسمی، DCFS 2013 است که در لندن، ON، کانادا، در ژوئیه 2013 برگزار شد. 22 مقاله کامل اصلاح شده ارائه شده همراه با 4 مقاله دعوت شده با دقت بررسی شدند و از بین 46 مورد ارسالی انتخاب شد.
موضوعات پوشش داده شده عبارتند از: اتومات، گرامر، زبان ها و سایر سیستم های رسمی. حالت های مختلف عملیات و اقدامات پیچیدگی؛ سیستم های همکاری؛ موجز بودن توصیف اشیاء، پدیده های حالت انفجار مانند؛ پیچیدگی مدار توابع بولی و اقدامات مرتبط. پیچیدگی اندازه و پیچیدگی ساختاری سیستم های رسمی؛ مبادله بین مدل های محاسباتی و نحوه عملکرد. کاربردهای سیستم های رسمی؛ به عنوان مثال در تست نرم افزار و سخت افزار، در سیستم های گفتگو، در مدل سازی سیستم ها یا در مدل سازی زبان های طبیعی؛ و محدودیت های پیچیدگی آنها؛ اندازه یا پیچیدگی ساختاری سیستم‌های رسمی برای مدل‌سازی زبان‌های طبیعی؛ جنبه های پیچیدگی مربوط به ترکیبیات کلمات؛ پیچیدگی توصیفی در محیط های محدود به منابع یا ساختار. پیچیدگی ساختاری مرتبط با پیچیدگی توصیفی. مرزهای بین تصمیم‌پذیری و تصمیم‌ناپذیری؛ جهانی بودن و برگشت پذیری؛ معماری های با انگیزه طبیعت (الهام گرفته از زیستی) و مدل های غیر متعارف محاسبات. پیچیدگی کلموگروف-چایتین، اطلاعات الگوریتمی.
فهرست مطالب :
Front Matter....Pages -
Blum Static Complexity and Encoding Spaces....Pages 1-13
Millstream Systems and Graph Transformation for Complex Linguistic Models....Pages 14-16
Can Chimps Go It Alone?....Pages 17-17
Invertible Transductions and Iteration....Pages 18-29
Universal Witnesses for State Complexity of Boolean Operations and Concatenation Combined with Star....Pages 30-41
Searching for Traces of Communication in Szilard Languages of Parallel Communicating Grammar Systems - Complexity Views....Pages 42-53
State Complexity of Basic Operations on Non-returning Regular Languages....Pages 54-65
State Complexity of Subtree-Free Regular Tree Languages....Pages 66-77
State Complexity of k -Union and k -Intersection for Prefix-Free Regular Languages....Pages 78-89
A Direct Construction of Finite State Automata for Pushdown Store Languages....Pages 90-101
Nondeterministic State Complexity of Proportional Removals....Pages 102-111
Nondeterministic Biautomata and Their Descriptional Complexity....Pages 112-123
Queue Automata of Constant Length....Pages 124-135
On the State Complexity of the Reverse of ${\mathcal R}$ - and ${\mathcal J}$ -Trivial Regular Languages....Pages 136-147
Size of Unary One-Way Multi-head Finite Automata....Pages 148-159
Syntactic Complexity of ${\mathcal R}$ - and ${\mathcal J}$ -Trivial Regular Languages....Pages 160-171
Sophistication as Randomness Deficiency....Pages 172-181
Shortest Repetition-Free Words Accepted by Automata....Pages 182-193
A Characterisation of NL / poly via Nondeterministic Finite Automata....Pages 194-204
Improved Normal Form for Grammars with One-Sided Contexts....Pages 205-216
Comparisons between Measures of Nondeterminism on Finite Automata....Pages 217-228
Finite Nondeterminism vs. DFAs with Multiple Initial States....Pages 229-240
The Power of Centralized PC Systems of Pushdown Automata....Pages 241-252
Limited Automata and Regular Languages....Pages 253-264
Reversal on Regular Languages and Descriptional Complexity....Pages 265-276
Kleene Star on Unary Regular Languages....Pages 277-288
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the refereed proceedings of the 15th International Workshop of Descriptional Complexity of Formal Systems, DCFS 2013, held in London, ON, Canada, in July 2013. The 22 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 46 submissions.
The topics covered are automata, grammars, languages and other formal systems; various modes of operations and complexity measures; co-operating systems; succinctness of description of objects, state-explosion-like phenomena; circuit complexity of Boolean functions and related measures; size complexity and structural complexity of formal systems; trade-offs between computational models and mode of operation; applications of formal systems; for instance in software and hardware testing, in dialogue systems, in systems modeling or in modeling natural languages; and their complexity constraints; size or structural complexity of formal systems for modeling natural languages; complexity aspects related to the combinatorics of words; descriptional complexity in resource-bounded or structure-bounded environments; structural complexity as related to descriptional complexity; frontiers between decidability and undecidability; universality and reversibility; nature-motivated (bio-inspired) architectures and unconventional models of computing; Kolmogorov-Chaitin complexity, algorithmic information.
پست ها تصادفی