دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
دانلود کتاب پیچیدگی توصیفی سیستم های رسمی: چهارمین کارگاه بین المللی، DCFS 2012، Braga، Portugal، 23-25 ژوئیه 2012. پرونده ها
مشخصات کتاب
Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
ویرایش: 1 نویسندگان: Jean-Baptiste Jeannin, Dexter Kozen (auth.), Martin Kutrib, Nelma Moreira, Rogério Reis (eds.) سری: Lecture Notes in Computer Science 7386 ISBN (شابک) : 9783642316234, 3642316220 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 329 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 59,000
کلمات کلیدی مربوط به کتاب پیچیدگی توصیفی سیستم های رسمی: چهارمین کارگاه بین المللی، DCFS 2012، Braga، Portugal، 23-25 ژوئیه 2012. پرونده ها: محاسبات با دستگاه های انتزاعی، منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیچیدگی توصیفی سیستم های رسمی: چهارمین کارگاه بین المللی، DCFS 2012، Braga، Portugal، 23-25 ژوئیه 2012. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیچیدگی توصیفی سیستم های رسمی: چهارمین کارگاه بین المللی، DCFS 2012، Braga، Portugal، 23-25 ژوئیه 2012. پرونده ها
این کتاب مجموعه مقالات داوری چهاردهمین کارگاه بین‌المللی پیچیدگی توصیفی سیستم‌های رسمی 2012 است که در براگا، پرتغال، در ژوئیه 2012 برگزار شد. از بین 33 ارسال انتخاب شده است. موضوعات تحت پوشش عبارتند از اتومات، گرامر، زبان ها و سیستم های مرتبط، معیارها و حالت های مختلف عملیات (به عنوان مثال، جبر و غیر قطعی). مبادله بین مدل های محاسباتی و/یا عملیات؛ موجز بودن توصیف اشیاء (متناهی)؛ حالت پدیده های انفجار مانند؛ پیچیدگی مدار توابع بولی و اقدامات مرتبط. محیط های محدود به منابع یا ساختار مرزهای بین تصمیم پذیری و تصمیم ناپذیری؛ جهانی بودن و برگشت پذیری؛ پیچیدگی ساختاری؛ سیستم های رسمی برای برنامه های کاربردی (به عنوان مثال، قابلیت اطمینان نرم افزار، تست نرم افزار و سخت افزار، مدل سازی زبان های طبیعی)؛ معماری های با انگیزه طبیعت (الهام گرفته از زیستی) و مدل های غیر متعارف محاسبات. پیچیدگی کلموگروف.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 14th
International Workshop of Descriptional Complexity of Formal
Systems 2012, held in Braga, Portugal, in July 2012.
The 20 revised full papers presented together with 4 invited
papers were carefully reviewed and selected from 33
submissions. The topics covered are automata, grammars,
languages and related systems, various measures and modes of
operations (e.g., determinism and nondeterminism); trade-offs
between computational models and/or operations; succinctness
of description of (finite) objects; state explosion-like
phenomena; circuit complexity of Boolean functions and
related measures; resource-bounded or structure-bounded
environments; frontiers between decidability and
undecidability; universality and reversibility; structural
complexity; formal systems for applications (e.g., software
reliability, software and hardware testing, modeling of
natural languages); nature-motivated (bio-inspired)
architectures and unconventional models of computing;
Kolmogorov complexity.
فهرست مطالب
Front Matter....Pages -
Computing with Capsules....Pages 1-19
Minicomplexity....Pages 20-42
Logical Analysis of Hybrid Systems....Pages 43-49
Groups and Automata: A Perfect Match....Pages 50-63
Uniform Distributed Pushdown Automata Systems....Pages 64-75
Removing Nondeterminism in Constant Height Pushdown Automata....Pages 76-88
On Inverse Operations and Their Descriptional Complexity....Pages 89-102
Deciding Representability of Sets of Words of Equal Length....Pages 103-116
Syntactic Complexities of Some Classes of Star-Free Languages....Pages 117-129
Randomness Behaviour in Blum Universal Static Complexity Spaces....Pages 130-140
Production Complexity of Some Operations on Context-Free Languages....Pages 141-154
State Complexity of Star and Square of Union of k Regular Languages....Pages 155-168
State Complexity of Chop Operations on Unary and Finite Languages....Pages 169-182
On the Number of Nonterminal Symbols in Unambiguous Conjunctive Grammars....Pages 183-195
Descriptional Complexity of Biautomata....Pages 196-208
Descriptional Complexity of Pushdown Store Languages....Pages 209-221
On Internal Contextual Grammars with Subregular Selection Languages....Pages 222-235
An Infinite Hierarchy of Language Families Resulting from Stateless Pushdown Automata with Limited Pushdown Alphabets....Pages 236-243
Centralized PC Systems of Pushdown Automata versus Multi-head Pushdown Automata....Pages 244-251
State Complexity and Limited Nondeterminism....Pages 252-265
Bounded Counter Languages....Pages 266-279
State Complexity of Projection and Quotient on Unranked Trees....Pages 280-293
Iterating Invertible Binary Transducers....Pages 294-306
Minimal DFA for Symmetric Difference NFA....Pages 307-318
Back Matter....Pages -
