دانلود کتاب Language and Automata Theory and Applications
کتاب تئوری و کاربردهای زبان و خودکار نسخه زبان اصلی
دانلود کتاب تئوری و کاربردهای زبان و خودکار بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Language and Automata Theory and Applications
نام کتاب : Language and Automata Theory and Applications
ویرایش : 1st ed.
عنوان ترجمه شده به فارسی : تئوری و کاربردهای زبان و خودکار
سری : Lecture Notes in Computer Science 10792
نویسندگان : Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira
ناشر : Springer International Publishing
سال نشر : 2018
تعداد صفحات : 331
ISBN (شابک) : 9783319773124 , 9783319773131
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 8 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بین المللی زبان و نظریه و کاربردهای خودکار، LATA 2018، در رامات گان، اسرائیل، در آوریل 2018 برگزار شد. 20 مقاله کامل اصلاح شده ارائه شده همراه با 3 مقاله دعوت شده با دقت بررسی شدند. و از بین 58 مورد ارسالی انتخاب شد. این مقالات زمینه هایی مانند تئوری زبان جبری، الگوریتم های داده کاوی نیمه ساختاریافته، الگوریتم های خودکار و کلمات، خودکار و منطق، خودکار برای تجزیه و تحلیل سیستم و تأیید برنامه، شبکه های خودکار، ساختارهای خودکار، کدها، ترکیبات روی کلمات، پیچیدگی محاسباتی، شبکه های همزمان و پتری، فشرده سازی داده ها و تصویر، پیچیدگی توصیفی، مبانی فناوری حالت محدود، مبانی XML، گرامرها (سلسله مراتب چامسکی، زمینه، یکسان سازی، طبقه بندی، و غیره)، استنتاج دستوری و یادگیری الگوریتمی، نمودارها و تبدیل گراف، زبان انواع و نیمه گروه‌ها، رمزنگاری مبتنی بر زبان، مبانی ریاضی و منطقی روش‌های برنامه‌نویسی، بازنویسی موازی و تنظیم‌شده، تجزیه، الگوها، سری‌های توان، الگوریتم‌های پردازش رشته‌ها، دینامیک نمادین، بازنویسی اصطلاحات، مبدل‌ها، درخت‌ها، زبان‌های درختی و خودکار درختی، و خودکار وزنی.
فهرست مطالب :
Underlying principles and recurring ideas of formal grammars.- Sliding Window Algorithms for Regular Languages.- Reshaping the context-free model: linguistic and algorithmic aspects.- Disturbance Decoupling in Finite Automata.- On the synchronization of planar automata.- Event-Clock Nested Automata.- On Periodicity Lemma for Partial Words.- Bubble-Flip - A New Generation Algorithm for Prefix Normal Words.- Pomsets and Unfolding of Reset Petri Nets.- Over-Approximative Petri Net Synthesis for Restricted Subclasses of Nets.- Measuring Closeness between Cayley Automatic Groups and Automatic Groups.- Permutations sorted by a finite and an infinite stack in series.- Analytic combinatorics of lattice paths with forbidden patterns: enumerative aspects.- Deciding regular intersection emptiness of complete problems for PSPACE and the polynomial hierarchy.- Descriptional and computational complexity of the circuit representation of finite automata.- Model Learning as a Satisfiability Modulo Theories Problem.- Default Logic and Bounded Treewidth.- General Class of Monoids Supporting Canonisation and Minimisation of (Sub)sequential Transducers.- Learners Based on Transducers.- Handling ties correctly and efficiently in Viterbi training using the Viterbi semiring.- Formal languages over GF(2).- Timed Comparisons of Semi-Markov Processes.- Efficient Translation with Linear Bimorphisms.
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the refereed proceedings of the 12th International Conference on Language and Automata Theory and Applications, LATA 2018, held in Ramat Gan, Israel, in April 2018.The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 58 submissions. The papers cover fields like algebraic language theory, algorithms for semi-structured data mining, algorithms on automata and words, automata and logic, automata for system analysis and programme verification, automata networks, automatic structures, codes, combinatorics on words, computational complexity, concurrency and Petri nets, data and image compression, descriptional complexity, foundations of finite state technology, foundations of XML, grammars (Chomsky hierarchy, contextual, unification, categorial, etc.), grammatical inference and algorithmic learning, graphs and graph transformation, language varieties and semigroups, language-based cryptography, mathematical and logical foundations of programming methodologies, parallel and regulated rewriting, parsing, patterns, power series, string processing algorithms, symbolic dynamics, term rewriting, transducers, trees, tree languages and tree automata, and weighted automata.
پست ها تصادفی