Language and Automata Theory and Applications

این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بین المللی زبان و نظریه و کاربردهای خودکار، LATA 2018، در رامات گان، اسرائیل، در آوریل 2018 برگزار شد. 20 مقاله کامل اصلاح شده ارائه شده همراه با 3 مقاله دعوت شده با دقت بررسی شدند. و از بین 58 مورد ارسالی انتخاب شد. این مقالات زمینه هایی مانند تئوری زبان جبری، الگوریتم های داده کاوی نیمه ساختاریافته، الگوریتم های خودکار و کلمات، خودکار و منطق، خودکار برای تجزیه و تحلیل سیستم و تأیید برنامه، شبکه های خودکار، ساختارهای خودکار، کدها، ترکیبات روی کلمات، پیچیدگی محاسباتی، شبکه های همزمان و پتری، فشرده سازی داده ها و تصویر، پیچیدگی توصیفی، مبانی فناوری حالت محدود، مبانی XML، گرامرها (سلسله مراتب چامسکی، زمینه، یکسان سازی، طبقه بندی، و غیره)، استنتاج دستوری و یادگیری الگوریتمی، نمودارها و تبدیل گراف، زبان انواع و نیمه گروه‌ها، رمزنگاری مبتنی بر زبان، مبانی ریاضی و منطقی روش‌های برنامه‌نویسی، بازنویسی موازی و تنظیم‌شده، تجزیه، الگوها، سری‌های توان، الگوریتم‌های پردازش رشته‌ها، دینامیک نمادین، بازنویسی اصطلاحات، مبدل‌ها، درخت‌ها، زبان‌های درختی و خودکار درختی، و خودکار وزنی.

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.