دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Where Mathematics, Computer Science, Linguistics and Biology Meet: Essays in honour of Gheorghe Păun
دانلود کتاب جایی که ریاضیات، علوم کامپیوتر، زبانشناسی و زیست‌شناسی با هم ملاقات می‌کنند: مقاله‌هایی به افتخار Gheorghe Păun
مشخصات کتاب
Where Mathematics, Computer Science, Linguistics and Biology Meet: Essays in honour of Gheorghe Păun
ویرایش: 1 نویسندگان: Solomon Marcus (auth.), Carlos Martín-Vide, Victor Mitrana (eds.) سری: ISBN (شابک) : 9789048156078, 9789401596343 ناشر: Springer Netherlands سال نشر: 2001 تعداد صفحات: 438 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 15 مگابایت
قیمت کتاب (تومان) : 34,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب جایی که ریاضیات، علوم کامپیوتر، زبانشناسی و زیست‌شناسی با هم ملاقات می‌کنند: مقاله‌هایی به افتخار Gheorghe Păun: منطق و مبانی ریاضی، تاریخ علم، ریاضیات محاسبات، ترکیبیات، هوش مصنوعی (شامل رباتیک)، زبانشناسی محاسباتی
در صورت تبدیل فایل کتاب Where Mathematics, Computer Science, Linguistics and Biology Meet: Essays in honour of Gheorghe Păun به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جایی که ریاضیات، علوم کامپیوتر، زبانشناسی و زیست‌شناسی با هم ملاقات می‌کنند: مقاله‌هایی به افتخار Gheorghe Păun نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جایی که ریاضیات، علوم کامپیوتر، زبانشناسی و زیست‌شناسی با هم ملاقات می‌کنند: مقاله‌هایی به افتخار Gheorghe Păun
در سال‌های گذشته، علاقه روزافزون دانشمندان کامپیوتر به ساختار مولکول‌های بیولوژیکی و نحوه دستکاری آنها در شرایط آزمایشگاهی به منظور تعریف مدل‌های نظری محاسبات بر اساس ابزارهای مهندسی ژنتیک مشاهده شد. در همین راستا، علاقه موازی در مورد روند تکامل موجودات زنده در حال افزایش است. بسیاری از داده های فعلی برای ژنوم ها در قالب نقشه هایی بیان می شوند که اکنون در دسترس هستند و برای اولین بار امکان مطالعه تکامل موجودات را در مقیاس ژنوم فراهم می کنند. از سوی دیگر، امروزه در سراسر حوزه زیست شناسی محاسباتی یک گرایش فعال به سمت دیدگاه های انتزاعی و سلسله مراتبی از توالی های زیستی وجود دارد که بسیار در روح زبان شناسی محاسباتی است. در دهه‌های گذشته، به نتایج و روش‌هایی در زمینه تئوری زبان رسمی اشاره شد که می‌توان آن را در توصیف توالی‌های زیستی به کار برد.
توضیحاتی درمورد کتاب به خارجی
In the last years, it was observed an increasing interest of computer scientists in the structure of biological molecules and the way how they can be manipulated in vitro in order to define theoretical models of computation based on genetic engineering tools. Along the same lines, a parallel interest is growing regarding the process of evolution of living organisms. Much of the current data for genomes are expressed in the form of maps which are now becoming available and permit the study of the evolution of organisms at the scale of genome for the first time. On the other hand, there is an active trend nowadays throughout the field of computational biology toward abstracted, hierarchical views of biological sequences, which is very much in the spirit of computational linguistics. In the last decades, results and methods in the field of formal language theory that might be applied to the description of biological sequences were pointed out.
فهرست مطالب
Front Matter....Pages i-xv
The Games of His Life....Pages 1-10
Front Matter....Pages 11-11
Deterministic Stream X-Machines Based on Grammar Systems....Pages 13-23
Some Ghosts that Arise in a Spliced Linguistic String: Evidence from Catalan....Pages 25-35
On Size Complexity of Context-Free Returning Parallel Communicating Grammar Systems....Pages 37-49
Subregularly Controlled Derivations: Restrictions by Syntactic Parameters....Pages 51-61
Neo-Modularity and Colonies....Pages 63-74
Sewing Contexts and Mildly Context-Sensitive Languages....Pages 75-84
Towards Grammars of Decision Algorithms....Pages 85-95
Front Matter....Pages 97-97
Computational Complementarity for Probabilistic Automata....Pages 99-113
Acceptance of ω-Languages by Communicating Deterministic Turing Machines....Pages 115-125
Counter Machines and the Safety and Disjointness Problems for Database Queries with Linear Constraints....Pages 127-137
Automata Arrays and Context-Free Languages....Pages 139-148
On Special Forms of Restarting Automata....Pages 149-160
The Time Dimension of Computation Models....Pages 161-172
Front Matter....Pages 173-173
An Infinite Sequence of Full AFL-Structures, Each of Which Possesses an Infinite Hierarchy....Pages 175-186
Trellis Languages....Pages 187-198
Pictures, Layers, Double Stranded Molecules: On Multi-Dimensional Sentences....Pages 199-209
Transduction in Polypodes....Pages 211-218
Some Algebraic Properties of Contexts and Their Applications to Contextual Languages....Pages 219-226
On Fatou Properties of Rational Languages....Pages 227-235
Front Matter....Pages 173-173
Multiple Keyword Patterns in Context-Free Languages....Pages 237-241
Reading Words in Graphs Generated by Hyperedge Replacement....Pages 243-252
Regularly Controlled Formal Power Series....Pages 253-265
Forbidden Subsequences and Permutations Sortable on Two Parallel Stacks....Pages 267-275
Approximate Identification and Finite Elasticity....Pages 277-286
Insertion of Languages and Differential Semirings....Pages 287-296
Front Matter....Pages 297-297
Molecular Structures....Pages 299-317
A Characterization of Non-Iterated Splicing with Regular Rules....Pages 319-327
Universal and Simple Operations for Gene Assembly in Ciliates....Pages 329-342
Semi-Simple Splicing Systems....Pages 343-352
Writing by Methylation Proposed for Aqueous Computing....Pages 353-360
Context-Free Recombinations....Pages 361-375
Simplified Simple H Systems....Pages 377-386
On Some Forms of Splicing....Pages 387-398
Time-Varying Distributed H -Systems of Degree 2 Generate All Recursively Enumerable Languages....Pages 399-407
On Membrane Computing Based on Splicing....Pages 409-422
Is Evolutionary Computation Using DNA Strands Feasible?....Pages 423-434
Splicing Systems Using Merge and Separate Operations....Pages 435-446
