دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Implementation and Application of Automata: 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers
دانلود کتاب پیاده سازی و کاربرد ماشین آلات: دهمین کنفرانس بین المللی، CIAA 2005، سوفیا آنتیپولیس، فرانسه، 27-29 ژوئن 2005، مقالات منتخب تجدید نظر شده
مشخصات کتاب
Implementation and Application of Automata: 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Rūsiņš Freivalds (auth.), Jacques Farré, Igor Litovsky, Sylvain Schmitz (eds.) سری: Lecture Notes in Computer Science 3845 : Theoretical Computer Science and General Issues ISBN (شابک) : 3540310231, 9783540310235 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2006 تعداد صفحات: 369 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب پیاده سازی و کاربرد ماشین آلات: دهمین کنفرانس بین المللی، CIAA 2005، سوفیا آنتیپولیس، فرانسه، 27-29 ژوئن 2005، مقالات منتخب تجدید نظر شده: محاسبات با دستگاه های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Implementation and Application of Automata: 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیاده سازی و کاربرد ماشین آلات: دهمین کنفرانس بین المللی، CIAA 2005، سوفیا آنتیپولیس، فرانسه، 27-29 ژوئن 2005، مقالات منتخب تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیاده سازی و کاربرد ماشین آلات: دهمین کنفرانس بین المللی، CIAA 2005، سوفیا آنتیپولیس، فرانسه، 27-29 ژوئن 2005، مقالات منتخب تجدید نظر شده
این کتاب مجموعه مقالات پس از داوری کامل دهمین کنفرانس بین‌المللی پیاده‌سازی و کاربرد اتوماتا، CIAA 2005، در سوفیا آنتیپولیس، فرانسه، در ژوئن 2005 است.
26 مقاله کامل اصلاح‌شده. و 8 مقاله پوستر اصلاح شده ارائه شده
همراه با 2 مشارکت دعوت شده از بین 87 مقاله ارسالی انتخاب شدند
و دو مرحله بررسی و بهبود را طی کردند. موضوعات تحت پوشش،
کاربردهای خودکار را در بسیاری از زمینه ها، از جمله ریاضیات،
زبان شناسی، شبکه ها، پردازش XML، زیست شناسی و موسیقی نشان می
دهد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings of the 10th International Conference on Implementation and Application of Automata, CIAA 2005, held in Sophia Antipolis, France, in June 2005.
The 26 revised full papers and 8 revised poster papers
presented together with 2 invited contributions were selected
from 87 submissions and have gone through two rounds of
reviewing and improvement. The topics covered show
applications of automata in many fields, including
mathematics, linguistics, networks, XML processing, biology
and music.
فهرست مطالب
Front Matter....Pages -
Languages Recognizable by Quantum Finite Automata....Pages 1-14
The Language, the Expression, and the (Small) Automaton....Pages 15-30
Minimization of Non-deterministic Automata with Large Alphabets....Pages 31-42
Simulating Two-Dimensional Recognizability by Pushdown and Queue Automata....Pages 43-53
Component Composition Preserving Behavioural Contracts Based on Communication Traces....Pages 54-65
Strong Retiming Equivalence of Synchronous Schemes....Pages 66-77
Prime Normal Form and Equivalence of Simple Grammars....Pages 78-89
An Incremental Algorithm for Constructing Minimal Deterministic Finite Cover Automata....Pages 90-103
Finite Automata and Unions of Regular Patterns with Bounded Constant Segments....Pages 104-115
Inside Vaucanson....Pages 116-128
Deterministic Recognition of Trees Accepted by a Linear Pushdown Tree Automaton....Pages 129-140
Shorter Regular Expressions from Finite-State Automata....Pages 141-152
Wind in the Willows – Generating Music by Means of Tree Transducers....Pages 153-162
On Deterministic Catalytic Systems....Pages 163-175
Restricting the Use of Auxiliary Symbols for Restarting Automata....Pages 176-187
A Class of Rational n -WFSM Auto-intersections....Pages 188-198
Experiments with Deterministic ω -Automata for Formulas of Linear Temporal Logic....Pages 199-212
Computing Affine Hulls over ${\mathbb Q}$ and ${\mathbb Z}$ from Sets Represented by Number Decision Diagrams....Pages 213-224
Tree Automata and XPath on Compressed Trees....Pages 225-237
Deeper Connections Between LTL and Alternating Automata....Pages 238-249
The Structure of Subword Graphs and Suffix Trees of Fibonacci Words....Pages 250-261
Observations on Determinization of Büchi Automata....Pages 262-272
The Interval Rank of Monotonic Automata....Pages 273-281
Compressing XML Documents Using Recursive Finite State Automata....Pages 282-293
Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment....Pages 294-306
Size Reduction of Multitape Automata....Pages 307-318
Robust Spelling Correction....Pages 319-328
On Two-Dimensional Pattern Matching by Finite Automata....Pages 329-340
Incremental and Semi-incremental Construction of Pseudo-Minimal Automata....Pages 341-342
Is Learning RFSAs Better Than Learning DFAs?....Pages 343-344
Learning Stochastic Finite Automata for Musical Style Recognition....Pages 345-346
Simulation of Soliton Circuits....Pages 347-348
Acyclic Automata with Easy-to-Find Short Regular Expressions....Pages 349-350
On the Equivalence Problem for Programs with Mode Switching....Pages 351-352
Automata and AB-Categorial Grammars....Pages 353-355
On a Class of Bijective Binary Transducers with Finitary Description Despite Infinite State Set....Pages 356-357
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Comparative Genomics: RECOMB 2006 International Workshop, RCG 2006 Montreal, Canada, September 24-26, 2006 Proceedings
دانلود کتاب Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings
دانلود کتاب Jewels of formal language theory
دانلود کتاب SOFSEM’99: Theory and Practice of Informatics: 26th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 27 — December 4, 1999 Proceedings
دانلود کتاب Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
دانلود کتاب Security Protocols: 9th International Workshop Cambridge, UK, April 25–27, 2001 Revised Papers
دانلود کتاب A Study in String Processing Languages
دانلود کتاب STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings
دانلود کتاب SAINT: heuristic symbolic integration in freshman calculus [PhD Thesis]
