دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Developments in Language Theory: 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings
دانلود کتاب تحولات در تئوری زبان: 11th International Conference، DLT 2007، Turku، Finland، 3-6 ژوئیه 2007. مقالات
مشخصات کتاب
Developments in Language Theory: 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Volker Diekert, Manfred Kufleitner (auth.), Tero Harju, Juhani Karhumäki, Arto Lepistö (eds.) سری: Lecture Notes in Computer Science 4588 : Theoretical Computer Science and General Issues ISBN (شابک) : 3540732071, 9783540732075 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2007 تعداد صفحات: 432 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 45,000
کلمات کلیدی مربوط به کتاب تحولات در تئوری زبان: 11th International Conference، DLT 2007، Turku، Finland، 3-6 ژوئیه 2007. مقالات: منطق ریاضی و زبان های رسمی، محاسبات با دستگاه های انتزاعی، منطق و معانی برنامه ها، ریاضیات گسسته در علوم کامپیوتر، دستکاری نمادین و جبری
در صورت تبدیل فایل کتاب Developments in Language Theory: 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تحولات در تئوری زبان: 11th International Conference، DLT 2007، Turku، Finland، 3-6 ژوئیه 2007. مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تحولات در تئوری زبان: 11th International Conference، DLT 2007، Turku، Finland، 3-6 ژوئیه 2007. مقالات
این کتاب مجموعه مقالات داوری یازدهمین کنفرانس بین المللی تحولات در نظریه زبان، DLT 2007 است که در تورکو، فنلاند در ژوئیه 2007 برگزار شد.
32 مقاله کامل اصلاح شده همراه با شش مقاله دعوت شده ارائه شده است. از بین 74 مورد ارسالی به دقت بررسی و انتخاب شدند. تمام مسائل مهم در تئوری زبان از جمله گرامرها، پذیرنده‌ها و مبدل‌ها برای کلمات، درخت‌ها و نمودارها پرداخته می‌شود. تئوری های جبری اتوماتا; ویژگی های الگوریتمی، ترکیبی و جبری کلمات و زبان ها؛ کدهای طول متغیر؛ پویایی نمادین؛ اتوماتای سلولی؛ polyominoes و الگوهای چند بعدی. سوالات تصمیم گیری؛ دستکاری و فشرده سازی تصویر؛ الگوریتم های متن کارآمد؛ روابط با رمزنگاری، همزمانی، نظریه پیچیدگی و منطق. محاسبات با الهام از زیستی و محاسبات کوانتومی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 11th International Conference on Developments in Language Theory, DLT 2007, held in Turku, Finland in July 2007.
The 32 revised full papers presented together with six invited papers were carefully reviewed and selected from 74 submissions. All important issues in language theory are addressed including grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; algorithmic, combinatorial and algebraic properties of words and languages; variable length codes; symbolic dynamics; cellular automata; polyominoes and multidimensional patterns; decidability questions; image manipulation and compression; efficient text algorithms; relationships to cryptography, concurrency, complexity theory and logic; bioinspired computing, and quantum computing.
فهرست مطالب
Front Matter....Pages -
On First-Order Fragments for Words and Mazurkiewicz Traces....Pages 1-19
Quantitative Generalizations of Languages....Pages 20-22
What Do We Know About Language Equations?....Pages 23-27
Information Distance and Applications....Pages 28-28
Finite Automata and the Writing of Numbers....Pages 29-30
Descriptional Complexity of Nondeterministic Finite Automata....Pages 31-35
From Determinism to Non-determinism in Recognizable Two-Dimensional Languages....Pages 36-47
Coding Partitions: Regularity, Maximality and Global Ambiguity....Pages 48-59
Multi-letter Reversible and Quantum Finite Automata....Pages 60-71
Approximability and Non-approximability Results in Computing the Mean Speedup of Trace Monoids....Pages 72-83
The Dynamics of Cellular Automata in Shift-Invariant Topologies....Pages 84-95
Two Element Unavoidable Sets of Partial Words....Pages 96-107
Hairpin Finite Automata....Pages 108-119
Characterizing Reduction Graphs for Gene Assembly in Ciliates....Pages 120-131
2-Visibly Pushdown Automata....Pages 132-144
An Efficient Computation of the Equation $\mathbb{K}$ -Automaton of a Regular $\mathbb{K}$ -Expression....Pages 145-156
An Extension of Newton’s Method to ω -Continuous Semirings....Pages 157-168
Non-constructive Methods for Finite Probabilistic Automata....Pages 169-180
The Unambiguity of Segmented Morphisms....Pages 181-192
Commutation of Binary Factorial Languages....Pages 193-204
Inapproximability of Nondeterministic State and Transition Complexity Assuming P ≠ NP ....Pages 205-216
State Complexity of Union and Intersection of Finite Languages....Pages 217-228
Bisimulation Minimisation for Weighted Tree Automata....Pages 229-241
Conjunctive Grammars Can Generate Non-regular Unary Languages....Pages 242-253
Deterministic Blow-Ups of Minimal Nondeterministic Finite Automata over a Fixed Alphabet....Pages 254-265
Reduced Languages as ω -Generators....Pages 266-277
Avoiding Approximate Squares....Pages 278-289
Duplication Roots....Pages 290-299
Complexity Theory for Splicing Systems....Pages 300-311
Descriptional Complexity of Bounded Context-Free Languages....Pages 312-323
Definable Transductions and Weighted Logics for Texts....Pages 324-336
A Star Operation for Star-Free Trace Languages....Pages 337-345
Finite Automata on Unranked and Unordered DAGs....Pages 346-360
On Almost Periodicity Criteria for Morphic Sequences in Some Particular Cases....Pages 361-370
A Local Balance Property of Episturmian Words....Pages 371-381
Suffix Automata and Standard Sturmian Words....Pages 382-398
Fine Hierarchy of Regular Aperiodic ω -Languages....Pages 399-410
On Transition Minimality of Bideterministic Automata....Pages 411-421
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Advances in Natural Language Processing: 5th International Conference on NLP, FinTAL 2006 Turku, Finland, August 23-25, 2006 Proceedings
دانلود کتاب Future You: Essential Future Technologies You Need To Know To Survive The Digital Era
دانلود کتاب Advances in Multilingual and Multimodal Information Retrieval: 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, Budapest, Hungary, September 19-21, 2007, Revised Selected Papers
دانلود کتاب Computer Security, Privacy and Politics: Current Issues, Challenges and Solutions
دانلود کتاب Socionics: Scalability of Complex Social Systems
دانلود کتاب Pro Power BI Desktop
دانلود کتاب Digital Geometry in Image Processing
دانلود کتاب Advances in Petri Nets 1990
