دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
دانلود کتاب پیاده سازی و کاربرد Automata: هجدهمین کنفرانس بین المللی، CIAA 2013، هالیفاکس، NS، کانادا، 16-19 جولای، 2013. مجموعه مقالات
مشخصات کتاب
Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
ویرایش: 1 نویسندگان: Cezar Câmpeanu (auth.), Stavros Konstantinidis (eds.) سری: Lecture Notes in Computer Science 7982 ISBN (شابک) : 9783642392733, 9783642392740 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 370 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 28,000
در صورت تبدیل فایل کتاب Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیاده سازی و کاربرد Automata: هجدهمین کنفرانس بین المللی، CIAA 2013، هالیفاکس، NS، کانادا، 16-19 جولای، 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیاده سازی و کاربرد Automata: هجدهمین کنفرانس بین المللی، CIAA 2013، هالیفاکس، NS، کانادا، 16-19 جولای، 2013. مجموعه مقالات
این کتاب شامل مقالات داوری کامل هجدهمین کنفرانس بین المللی پیاده سازی و کاربرد اتوماتا، CIAA 2013، در هالیفاکس، NS، کانادا، در ژوئیه 2013 است. 25 مقاله کامل اصلاح شده همراه با 3 مقاله دعوت شده و 7 مقاله ارائه شده است. مقالات کوتاه از میان 43 مقاله ارسالی با دقت انتخاب شدند. این مقالات موضوعات مختلفی مانند پیچیدگی خودکار را پوشش می دهد. اتومات فشرده؛ خودکار شمارنده; تطبیق فرهنگ لغت؛ ویرایش فاصله؛ سکانس های خانگی; پیاده سازی؛ به حداقل رساندن خودکارها؛ بررسی مدل؛ تجزیه عبارات منظم؛ خودکار کلمه جزئی; زبان های تصویری؛ خودکار فشاری اتومات صف؛ تجزیه و تحلیل دسترس پذیری برای تأیید نرم افزار؛ راه اندازی مجدد خودکار؛ مبدل ها؛ اتوماتای درختی؛ اتوماتای وزن دار؛ جریان های XML.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The 25 revised full papers presented together with 3 invited papers and 7 short papers were carefully selected from 43 submissions. The papers cover various topics such as complexity of automata; compressed automata; counter automata; dictionary matching; edit distance; homing sequences; implementation; minimization of automata; model checking; parsing of regular expressions; partial word automata; picture languages; pushdown automata; queue automata; reachability analysis for software verification; restarting automata; transducers; tree automata; weighted automata; XML streams.
فهرست مطالب
Front Matter....Pages -
Cover Languages and Implementations....Pages 1-1
Automata for Codes....Pages 2-15
Applications of Symbolic Finite Automata....Pages 16-23
Computing Weights....Pages 24-35
Partial Word DFAs....Pages 36-47
Using Regular Grammars for Event-Based Testing....Pages 48-59
Two-Pass Greedy Regular Expression Parsing....Pages 60-71
Universal Witnesses for State Complexity of Basic Operations Combined with Reversal....Pages 72-83
Trimming Visibly Pushdown Automata....Pages 84-96
A Uniformization Theorem for Nested Word to Word Transductions....Pages 97-108
Towards Nominal Context-Free Model-Checking....Pages 109-121
Implementation Concepts in Vaucanson 2....Pages 122-133
A Completion Algorithm for Lattice Tree Automata....Pages 134-145
Approximate Matching between a Context-Free Grammar and a Finite-State Automaton....Pages 146-157
On Palindromic Sequence Automata and Applications....Pages 158-168
LALBLC A Program Testing the Equivalence of dpda’s....Pages 169-180
Brzozowski’s Minimization Algorithm—More Robust than Expected....Pages 181-192
Some Decision Problems Concerning NPDAs, Palindromes, and Dyck Languages....Pages 193-207
On the Boundary of Regular Languages....Pages 208-219
On the Length of Homing Sequences for Nondeterministic Finite State Machines....Pages 220-231
Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties....Pages 232-243
Hyper-optimization for Deterministic Tree Automata....Pages 244-255
Lambda-Confluence Is Undecidable for Clearing Restarting Automata....Pages 256-267
Comparing Two-Dimensional One-Marker Automata to Sgraffito Automata....Pages 268-279
Deterministic Counter Machines and Parallel Matching Computations....Pages 280-291
Early Nested Word Automata for XPath Query Answering on XML Streams....Pages 292-305
Invertible Transducers, Iteration and Coordinates....Pages 306-318
Compressed Automata for Dictionary Matching....Pages 319-330
Enhancing Approximations for Regular Reachability Analysis....Pages 331-339
Generating Small Automata and the Černý Conjecture....Pages 340-348
Incomplete Transition Complexity of Basic Operations on Finite Languages....Pages 349-356
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Tropomyosin
دانلود کتاب Forms in Early Modern Utopia: The Ethnography of Perfection
دانلود کتاب The Workout Bucket List: Over 300 Life-Changing Races, Epic Challenges, and Incredible Hikes, Bikes, Lifts, and Runs
دانلود کتاب Le chevalier Bayard. Performance and Published Versions
