دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Developments in Language Theory: 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
دانلود کتاب تحولات در نظریه زبان: نوزدهمین کنفرانس بین المللی، DLT 2015، لیورپول، بریتانیا، 27-30 ژوئیه، 2015، مجموعه مقالات.
مشخصات کتاب
Developments in Language Theory: 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
ویرایش: 1
نویسندگان: Igor Potapov (eds.)
سری: Lecture Notes in Computer Science 9168
ISBN (شابک) : 9783319214993, 9783319215006
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 459
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب تحولات در نظریه زبان: نوزدهمین کنفرانس بین المللی، DLT 2015، لیورپول، بریتانیا، 27-30 ژوئیه، 2015، مجموعه مقالات.: محاسبات با دستگاه های انتزاعی، منطق ریاضی و زبان های رسمی، تحلیل الگوریتم و پیچیدگی مسئله، ریاضیات گسسته در علوم کامپیوتر
در صورت تبدیل فایل کتاب Developments in Language Theory: 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تحولات در نظریه زبان: نوزدهمین کنفرانس بین المللی، DLT 2015، لیورپول، بریتانیا، 27-30 ژوئیه، 2015، مجموعه مقالات. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تحولات در نظریه زبان: نوزدهمین کنفرانس بین المللی، DLT 2015، لیورپول، بریتانیا، 27-30 ژوئیه، 2015، مجموعه مقالات.
این کتاب مجموعه مقالات نوزدهمین کنفرانس بین المللی تحولات در نظریه زبان، DLT 2015 است که در لیورپول، انگلستان برگزار شد. 31 مقاله ارائه شده همراه با 5 سخنرانی دعوت شده به دقت بررسی و از بین 54 مقاله ارسالی انتخاب شدند. دامنه آن بسیار کلی است و از جمله موضوعات و زمینه های زیر را شامل می شود: ویژگی های ترکیبی و جبری کلمات و زبان ها، گرامرها، پذیرنده ها و مبدل ها برای رشته ها، درختان، نمودارها، آرایه ها، نظریه های جبری برای خودکارها و زبان ها، کدها، کارآمد. الگوریتم‌های متن، دینامیک نمادین، مسائل تصمیم‌گیری، روابط با نظریه پیچیدگی و منطق، توصیف و تحلیل تصویر، الگوهای چند بعدی و دو بعدی، رمزنگاری، همزمانی، اتوماتای سلولی، محاسبات الهام‌گرفته از زیستی، و محاسبات کوانتومی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 19th International Conference on Developments in Language Theory, DLT 2015, held in Liverpool, UK. The 31 papers presented together with 5 invited talks were carefully reviewed and selected from 54 submissions. Its scope is very general and includes, among others, the following topics and areas: combinatorial and algebraic properties of words and languages, grammars, acceptors and transducers for strings, trees, graphs, arrays, algebraic theories for automata and languages, codes, efficient text algorithms, symbolic dynamics, decision problems, relationships to complexity theory and logic, picture description and analysis, polyominoes and bidimensional patterns, cryptography, concurrency, cellular automata, bio-inspired computing, and quantum computing.
فهرست مطالب
Front Matter....Pages I-XXI
Recognisable Languages over Monads....Pages 1-13
Garside and Quadratic Normalisation: A Survey....Pages 14-45
Grammar-Based Tree Compression....Pages 46-57
On Decidability of Intermediate Levels of Concatenation Hierarchies....Pages 58-70
Ergodic Infinite Permutations of Minimal Complexity....Pages 71-84
Diverse Palindromic Factorization Is NP-complete....Pages 85-96
Factorization in Formal Languages....Pages 97-107
Consensus Game Acceptors....Pages 108-119
On the Size of Two-Way Reasonable Automata for the Liveness Problem....Pages 120-131
Squareable Words....Pages 132-142
Complexity Analysis: Transformation Monoids of Finite Automata....Pages 143-154
Palindromic Complexity of Trees....Pages 155-166
Deciding Proper Conjugacy of Classes of One-Sided Finite-Type-Dyck Shifts....Pages 167-178
Transfinite Lyndon Words....Pages 179-190
Unary Patterns with Permutations....Pages 191-202
Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change....Pages 203-214
Enumeration Formulæ in Neutral Sets....Pages 215-227
On the Density of Context-Free and Counter Languages....Pages 228-239
Unary Probabilistic and Quantum Automata on Promise Problems....Pages 240-251
Generalizations of Code Languages with Marginal Errors....Pages 252-263
Minimal Reversible Deterministic Finite Automata....Pages 264-275
Multi-sequential Word Relations....Pages 276-287
The Boundary of Prefix-Free Languages....Pages 288-299
A Connected 3-State Reversible Mealy Automaton Cannot Generate an Infinite Burnside Group....Pages 300-312
Path Checking for MTL and TPTL over Data Words....Pages 313-325
Surminimisation of Automata....Pages 326-339
On the Complexity of k-Piecewise Testability and the Depth of Automata....Pages 340-351
Interval Exchange Words and the Question of Hof, Knill, and Simon....Pages 352-363
State Complexity of Neighbourhoods and Approximate Pattern Matching....Pages 364-376
Deterministic Ordered Restarting Automata that Compute Functions....Pages 377-388
Weight Assignment Logic....Pages 389-400
Complexity Bounds of Constant-Space Quantum Computation....Pages 401-412
Back Matter....Pages 413-425
....Pages 426-438
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Pediatric Glaucomas
دانلود کتاب Architektur der Bauschäden: Schadensursache - Gutachterliche Einstufung - Beseitigung - Vorbeugung
دانلود کتاب Creative Innovative Firms from Japan: A Benchmark Inquiry into Firms from Three Rival Nations
