دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Developments in Language Theory: 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
دانلود کتاب تحولات در تئوری زبان: بیستمین کنفرانس بین المللی ، DLT 2016 ، مونترئال ، کانادا ، 25 تا 28 ژوئیه 2016 ، مجموعه مقالات
مشخصات کتاب
Developments in Language Theory: 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
ویرایش: 1
نویسندگان: Srečko Brlek. Christophe Reutenauer (eds.)
سری: Lecture Notes in Computer Science 9840
ISBN (شابک) : 9783662531327, 9783662531310
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2016
تعداد صفحات: 423
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 48,000
کلمات کلیدی مربوط به کتاب تحولات در تئوری زبان: بیستمین کنفرانس بین المللی ، DLT 2016 ، مونترئال ، کانادا ، 25 تا 28 ژوئیه 2016 ، مجموعه مقالات: محاسبات با دستگاه‌های انتزاعی، منطق و معانی برنامه‌ها، منطق ریاضی و زبان‌های رسمی، تحلیل الگوریتم و پیچیدگی مسائل، ریاضیات گسسته در علوم کامپیوتر، ترجمه زبان و زبان‌شناسی
در صورت تبدیل فایل کتاب Developments in Language Theory: 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تحولات در تئوری زبان: بیستمین کنفرانس بین المللی ، DLT 2016 ، مونترئال ، کانادا ، 25 تا 28 ژوئیه 2016 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تحولات در تئوری زبان: بیستمین کنفرانس بین المللی ، DLT 2016 ، مونترئال ، کانادا ، 25 تا 28 ژوئیه 2016 ، مجموعه مقالات
این کتاب مجموعه مقالات بیستمین کنفرانس بین المللی تحولات در نظریه زبان، DLT 2016 است که در مونترال، QC، کانادا، در جولای 2016 برگزار شد.
32 مقاله کامل و 4 مقاله چکیده مقالات دعوت شده ارائه شده به دقت بررسی و از بین 48 مقاله ارسالی انتخاب شد. این جلد تحولات جاری در زبان‌های رسمی و خودکار، به‌ویژه از موضوعات و حوزه‌های زیر را ارائه می‌کند: ویژگی‌های ترکیبی و جبری کلمات و زبان‌ها. گرامرها، پذیرنده‌ها و مبدل‌ها برای رشته‌ها، درختان، نمودارها، آرایه‌ها. نظریه های جبری برای خودکارها و زبان ها؛ کدها الگوریتم های متن کارآمد؛ پویایی نمادین؛ مشکلات تصمیم گیری؛ روابط با نظریه پیچیدگی و منطق؛ شرح و تحلیل تصویر؛ پلیومینوها و الگوهای دو بعدی. رمزنگاری؛ همزمانی؛ اتوماتای سلولی؛ محاسبات با الهام از زیستی؛ محاسبات کوانتومی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada, in July 2016.
The 32 full papers and 4 abstracts of invited papers presented were carefully reviewed and selected from 48 submissions. This volume presents current developments in formal languages and automata, especially from 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 bidimentional patterns; cryptography; concurrency; cellular automata; bio-inspried computing; quantum computing.
فهرست مطالب
Front Matter....Pages I-XVII
Context-Free Ambiguity Detection Using Multi-stack Pushdown Automata....Pages 1-12
Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets....Pages 13-25
Cayley Automatic Groups and Numerical Characteristics of Turing Transducers....Pages 26-37
A Perfect Class of Context-Sensitive Timed Languages....Pages 38-50
Position Automaton Construction for Regular Expressions with Intersection....Pages 51-63
A Language-Theoretical Approach to Descriptive Complexity....Pages 64-76
Schützenberger Products in a Category....Pages 77-88
Outfix-Guided Insertion....Pages 89-101
Both Ways Rational Functions....Pages 102-113
Aperiodic String Transducers....Pages 114-124
An Automata Characterisation for Multiple Context-Free Languages....Pages 125-137
Weighted Automata and Logics on Infinite Graphs....Pages 138-150
Degrees of Infinite Words, Polynomials and Atoms....Pages 151-163
Ternary Square-Free Partial Words with Many Wildcards....Pages 164-176
Alternating Demon Space Is Closed Under Complement and Other Simulations for Sublogarithmic Space....Pages 177-189
Weighted Symbolic Automata with Data Storage....Pages 190-202
On Families of Full Trios Containing Counter Machine Languages....Pages 203-215
Non-regular Maximal Prefix-Free Subsets of Regular Languages....Pages 216-228
Operations on Unambiguous Finite Automata....Pages 229-242
The Trace Monoids in the Queue Monoid and in the Direct Product of Two Free Monoids....Pages 243-255
On Ordered RRWW-Automata....Pages 256-267
Bispecial Factors in the Brun S-Adic System....Pages 268-279
Compositions of Tree-to-Tree Statistical Machine Translation Models....Pages 280-292
On the Solvability Problem for Restricted Classes of Word Equations....Pages 293-305
Unambiguous Büchi Is Weak....Pages 306-318
One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations....Pages 319-331
Avoidability of Formulas with Two Variables....Pages 332-343
Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time....Pages 344-354
On Finite and Polynomial Ambiguity of Weighted Tree Automata....Pages 355-367
An Extremal Series of Eulerian Synchronizing Automata....Pages 368-379
Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata....Pages 380-392
Back Matter....Pages 393-405
....Pages 407-407
