ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Automata Theory with Modern Applications

دانلود کتاب تئوری اتوماتا با کاربردهای مدرن

Automata Theory with Modern Applications

مشخصات کتاب

Automata Theory with Modern Applications

دسته بندی: کامپیوتر
ویرایش:  
نویسندگان:   
سری:  
ISBN (شابک) : 0521848873, 9780521848879 
ناشر: Cambridge University Press 
سال نشر: 2006 
تعداد صفحات: 265 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

قیمت کتاب (تومان) : 43,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 7


در صورت تبدیل فایل کتاب 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




نظرات کاربران