ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Automata and Computability

دانلود کتاب خودکار و محاسبه

Automata and Computability

مشخصات کتاب

Automata and Computability

دسته بندی: الگوریتم ها و ساختارهای داده
ویرایش:  
نویسندگان:   
سری: Undergraduate Texts in Computer Science 
ISBN (شابک) : 9783642857089, 9783642857065 
ناشر: Springer 
سال نشر: 1977 
تعداد صفحات: 399 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 41 مگابایت

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



کلمات کلیدی مربوط به کتاب خودکار و محاسبه: محاسبات توسط دستگاه های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله



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

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


در صورت تبدیل فایل کتاب Automata and Computability به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب خودکار و محاسبه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب خودکار و محاسبه

این کتاب درسی مقدمه‌ای با مدل‌های نظری پایه محاسبه‌پذیری برای دانشجویان مقطع کارشناسی فراهم می‌کند و برخی از ساختار غنی و متنوع مدل را توسعه می‌دهد. بخش اول کتاب به اتوماتای ​​محدود و خصوصیات آنها اختصاص دارد. خودکارهای Pushdown کلاس وسیع تری از مدل ها را ارائه می دهند و امکان تجزیه و تحلیل زبان های بدون زمینه را فراهم می کنند. در فصل‌های باقی‌مانده، ماشین‌های تورینگ معرفی می‌شوند و کتاب به تجزیه و تحلیل محاسبات‌پذیری مؤثر، تصمیم‌پذیری، و قضایای ناقص بودن گودل ختم می‌شود. دانش‌آموزانی که قبلاً تجربه‌ای با ریاضیات گسسته ابتدایی دارند، این دوره اول را با سرعت خوب می‌بینند و تعدادی از فصل‌های تکمیلی مفاهیم پیشرفته‌تری را معرفی می‌کنند.


توضیحاتی درمورد کتاب به خارجی

This textbook provides undergraduate students with an introduction to the basic theoretical models of computability, and develops some of the model's rich and varied structure. The first part of the book is devoted to finite automata and their properties. Pushdown automata provide a broader class of models and enable the analysis of context-free languages. In the remaining chapters, Turing machines are introduced and the book culminates in analyses of effective computability, decidability, and Gödel's incompleteness theorems. Students who already have some experience with elementary discrete mathematics will find this a well-paced first course, and a number of supplementary chapters introduce more advanced concepts.



فهرست مطالب

Front Matter....Pages i-xiii
Front Matter....Pages 1-1
Course Roadmap and Historical Perspective....Pages 3-6
Strings and Sets....Pages 7-13
Finite Automata and Regular Sets....Pages 14-18
More on Regular Sets....Pages 19-24
Nondeterministic Finite Automata....Pages 25-31
The Subset Construction....Pages 32-39
Pattern Matching....Pages 40-43
Pattern Matching and Regular Expressions....Pages 44-48
Regular Expressions and Finite Automata....Pages 49-54
Kleene Algebra and Regular Expressions....Pages 55-60
Homomorphisms....Pages 61-66
Limitations of Finite Automata....Pages 67-71
Using the Pumping Lemma....Pages 72-76
DFA State Minimization....Pages 77-83
A Minimization Algorithm....Pages 84-88
Myhill—Nerode Relations....Pages 89-94
The Myhill—Nerode Theorem....Pages 95-99
Collapsing Nondeterministic Automata....Pages 100-107
Automata on Terms....Pages 108-113
The Myhill—Nerode Theorem for Term Automata....Pages 114-118
Front Matter....Pages 1-1
Two-Way Finite Automata....Pages 119-123
2DFAs and Regular Sets....Pages 124-128
Context-Free Grammars and Languages....Pages 129-134
Balanced Parentheses....Pages 135-139
Normal Forms....Pages 140-147
The Pumping Lemma for CFLs....Pages 148-156
Pushdown Automata....Pages 157-163
Final State Versus Empty Stack....Pages 164-166
PDAs and CFGs....Pages 167-171
Simulating NPDAs by CFGs....Pages 172-175
Deterministic Pushdown Automata....Pages 176-180
Parsing....Pages 181-190
The Cocke—Kasami—Younger Algorithm....Pages 191-197
The Chomsky—Schützenberger Theorem....Pages 198-200
Parikh’s Theorem....Pages 201-205
Turing Machines and Effective Computability....Pages 206-214
More on Turing Machines....Pages 215-220
Equivalent Models....Pages 221-225
Universal Machines and Diagonalization....Pages 228-233
Decidable and Undecidable Problems....Pages 235-238
Front Matter....Pages 1-1
Reduction....Pages 239-244
Rice’s Theorem....Pages 245-248
Undecidable Problems About CFLs....Pages 249-255
Other Formalisms....Pages 256-261
The λ-Calculus....Pages 262-268
 While Programs....Pages 269-273
Beyond Undecidability....Pages 274-281
Gödel’s Incompleteness Theorem....Pages 282-286
Proof of the Incompleteness Theorem....Pages 287-291
Gödel’s Proof....Pages 292-298
Front Matter....Pages 299-299
Homework 1....Pages 301-301
Homework 2....Pages 302-302
Homework 3....Pages 303-303
Homework 4....Pages 304-305
Homework 5....Pages 306-306
Homework 6....Pages 307-307
Homework 7....Pages 308-308
Homework 8....Pages 309-309
Homework 9....Pages 310-310
Homework 10....Pages 311-311
Front Matter....Pages 299-299
Homework 11....Pages 312-312
Homework 12....Pages 313-313
Finite Automata and Regular Sets....Pages 315-332
Pushdown Automata and Context-Free Languages....Pages 333-339
Turing Machines and Effective Computability....Pages 340-350
Hints for Selected Miscellaneous Exercises....Pages 351-356
Solutions to Selected Miscellaneous Exercises....Pages 357-371
Back Matter....Pages 373-400




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی