دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کامپیوتر ویرایش: نویسندگان: James A. Anderson سری: ISBN (شابک) : 0521848873, 9780521848879 ناشر: Cambridge University Press سال نشر: 2006 تعداد صفحات: 265 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب Automata Theory with Modern Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تئوری اتوماتا با کاربردهای مدرن نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
کاربردهای اخیر در علم زیست مولکولی و محاسبات DNA، مخاطبان جدیدی را برای تئوری خودکار و زبانهای رسمی ایجاد کرده است. این تنها کتاب مقدماتی است که چنین کاربردهایی را پوشش می دهد. این با یک توضیح واضح و به آسانی قابل درک از مبانی آغاز می شود که فقط پیش زمینه ای در ریاضیات گسسته را فرض می کند. پنج فصل اول پوشش ملایم اما دقیقی از ایدههای اساسی و همچنین موضوعاتی که در سایر متون در این سطح یافت نمیشوند، از جمله کدها، بازپسگیریها و نیمهبازنویسیها ارائه میدهد. فصل 6 ترکیبیات را بر روی کلمات معرفی می کند و از آن برای توصیف یک رویکرد الهام گرفته از بصری به زبان ها استفاده می کند. فصل آخر، نظریه زبان اخیراً توسعهیافته را توضیح میدهد که از پیشرفتهای علوم زیستی و محاسبات DNA ناشی میشود. این متن با بیش از 350 تمرین (که راهحلهایی برای آنها موجود است)، مثالها و تصاویر فراوان، یک مقدمه ایدهآل معاصر برای دانشآموزان خواهد بود. دیگران، تازه وارد در این زمینه، از آن برای خودآموزی استقبال خواهند کرد.
Recent applications to biomolecular science and DNA computing have created a new audience for automata theory and formal languages. This is the only introductory book to cover such applications. It begins with a clear and readily understood exposition of the fundamentals that assumes only a background in discrete mathematics. The first five chapters give a gentle but rigorous coverage of basic ideas as well as topics not found in other texts at this level, including codes, retracts and semiretracts. Chapter 6 introduces combinatorics on words and uses it to describe a visually inspired approach to languages. The final chapter explains recently-developed language theory coming from developments in bioscience and DNA computing. With over 350 exercises (for which solutions are available), many examples and illustrations, this text will make an ideal contemporary introduction for students; others, new to the field, will welcome it for self-learning.
Cover......Page 1
Half-title......Page 3
Title......Page 5
Copyright......Page 6
Contents......Page 7
Preface......Page 9
1.1 Sets......Page 11
1.2 Relations......Page 16
1.3 Functions......Page 22
1.4 Semigroups......Page 26
2.1 Regular languages......Page 33
2.2 Retracts (Optional)......Page 39
2.3 Semiretracts and lattices (Optional)......Page 44
3.1 Deterministic and nondeterministic automata......Page 47
3.2 Kleene’s Theorem......Page 62
3.3 Minimal deterministic automata and syntactic monoids......Page 82
Procedure......Page 85
3.4 Pumping Lemma for regular languages......Page 94
3.5 Decidability......Page 96
3.6 Pushdown automata......Page 99
3.7 Mealy and Moore machines......Page 109
4.1 Formal grammars......Page 124
4.2 Chomsky normal form and Greibach normal form......Page 148
4.3 Pushdown automata and context-free languages......Page 159
4.4 The Pumping Lemma and decidability......Page 172
5.1 Deterministic Turing machines......Page 179
5.2 Nondeterministic Turing machines and acceptance of context-free languages......Page 200
5.3 The halting problem for Turing machines......Page 204
5.4 Undecidability problems for context-free languages......Page 210
6.1 Introduction......Page 220
6.2 A minimal taste of word combinatorics......Page 222
6.3 The spectrum of a word with respect to a language......Page 224
6.4 The spectral partition of Sigma+ and the support of L......Page 226
6.5 Visualizing languages......Page 227
6.6 The sketch parameters of a language......Page 231
6.7 Flag languages......Page 233
6.8 Additional tools from word combinatorics......Page 234
6.9 Counting primitive words in a regular language......Page 235
6.10 Algorithmic sketching of regular languages......Page 237
7.1 Introduction......Page 241
7.2 Constructing new words by splicing together pairs of existing words......Page 242
7.3 The motivation from molecular biology......Page 243
7.4 Splicing rules, schemes, systems, and languages......Page 246
7.5 Every splicing language is a regular language......Page 249
7.6 The syntactic monoid of a regular language L allows an effective determination of the set of all splicing rules that respect L......Page 251
7.7 It is algorithmically decidable whether a given regular language is a reflexive splicing language......Page 252
Appendix A Cardinality......Page 255
Appendix B Co-compactness Lemma......Page 257
References......Page 259
Further reading......Page 261
Index......Page 263