Introduction to Languages and The Theory of Computation

{"title":"Introduction to Languages and The Theory of Computation","price":"۱۹","ebook_price":"۱۹","rent_3_price":"۱۵","rent_6_price":"۶","rent_12_price":"-۱","print_price":"-۱","front_cover":{"thumbnail":"/storage/files/styles/thumbnail/books/2a94e552184a7bfa/front.jpg","medium":"/storage/files/styles/medium/books/2a94e552184a7bfa/front.jpg","medium_rounded":"/storage/files/styles/medium_rounded/books/2a94e552184a7bfa/front.png","large":"/storage/files/styles/large/books/2a94e552184a7bfa/front.jpg","medium_trans":"/storage/files/styles/medium_trans/books/2a94e552184a7bfa/front.png","medium_zoom_fit":"/storage/files/styles/medium_zoom_fit/books/2a94e552184a7bfa/front.png"},"back_cover":{"thumbnail":"/storage/files/styles/thumbnail/books/2a94e552184a7bfa/back.jpg","medium":"/storage/files/styles/medium/books/2a94e552184a7bfa/back.jpg","medium_rounded":"/storage/files/styles/medium_rounded/books/2a94e552184a7bfa/back.png","large":"/storage/files/styles/large/books/2a94e552184a7bfa/back.jpg","medium_trans":"/storage/files/styles/medium_trans/books/2a94e552184a7bfa/back.png","medium_zoom_fit":"/storage/files/styles/medium_zoom_fit/books/2a94e552184a7bfa/back.png"},"print_book":false,"isbn":"9780073191461","lang":"null","cover_type":"null","dimension":"null","year":"۲۰۱۰","nobat_chap":1,"description":["Introduction to Languages and the Theory of Computation helps students make the connection between the practice of computing and an understanding of the profound ideas that defines it. The book's organization and the author's ability to explain complex topics clearly make this introduction to the theory of computation an excellent resource for a broad range of upper level students. The author has learned through many years of teaching that the best way to present theoretical concepts is to take advantage of the precision and clarity of mathematical language. In a way that is accessible to students still learning this language, he presents the necessary mathematical tools gently and gradually which provides discussion and examples that make the language intelligible."],"pages_count":448,"token":"2a94e552184a7bfa","deleted_at":null,"published_at":"2017-12-11 15:09:31","available_for_web":true,"publisher_title":"McGraw-Hill","edition":null,"currency":"EUR","subtitle":"null","country":"null","rent_1_week_price":"-۱","meta_desc":null,"meta_title":null,"stock":0,"cache":1,"bookmark":"false","has_book":"false","has_file":"true","writer_authors":[{"id":1065,"title":"John Martin","meta_title":"John Martin","meta_description":"John Martin - بوکت، نخستین و بزرگ‌ترین سامانه‌ی یادگیری و آموزش با قابلیت کرایه و خرید نسخه‌ی الکترونیکی کتاب‌های دانشگاهی است ","faq":null,"keywords":"بوکت,کرایه کتاب,کتاب الکترونیک/ نسخه الکترونیک,ئی بوک/ایبوک,مطالعه آنلاین,کتاب تخصصی,کتاب دانشگاهی,دانلود کتاب,خرید کتاب,جستجوی کتاب,خرید کتاب الکترونیک,ناشرشو,چاپ کتاب,چاپ رایگان کتاب,کتاب مهندسی,کتاب پزشکی,کتاب مدیریت,جیتجو در متن کتاب,دانلود اپلیکیشن کتابخوان","description":null,"firstname":"John","lastname":"Martin","token":"d8052a6ec648a66f","national_code":null,"pivot":{"book_id":578,"author_id":1065,"created_at":"2017-12-09 19:47:20","updated_at":"2019-03-12 15:00:50","role":"writer"}}],"translator_authors":[],"available_e_book":true,"dir":true,"vitrines":[{"title":"کتاب‌های مشابه","url":"/api/bookstore/vitrines/similar-books/2a94e552184a7bfa","type":"books","books":[]},{"title":"کتاب‌های دیگر ناشر","url":"/api/bookstore/vitrines/publisher-books/2a94e552184a7bfa","type":"books","books":[]}],"authors":[{"id":1065,"title":"John Martin","meta_title":"John Martin","meta_description":"John Martin - بوکت، نخستین و بزرگ‌ترین سامانه‌ی یادگیری و آموزش با قابلیت کرایه و خرید نسخه‌ی الکترونیکی کتاب‌های دانشگاهی است ","faq":null,"keywords":"بوکت,کرایه کتاب,کتاب الکترونیک/ نسخه الکترونیک,ئی بوک/ایبوک,مطالعه آنلاین,کتاب تخصصی,کتاب دانشگاهی,دانلود کتاب,خرید کتاب,جستجوی کتاب,خرید کتاب الکترونیک,ناشرشو,چاپ کتاب,چاپ رایگان کتاب,کتاب مهندسی,کتاب پزشکی,کتاب مدیریت,جیتجو در متن کتاب,دانلود اپلیکیشن کتابخوان","description":null,"firstname":"John","lastname":"Martin","token":"d8052a6ec648a66f","national_code":null,"pivot":{"book_id":578,"author_id":1065,"created_at":"2017-12-09 19:47:20","updated_at":"2019-03-12 15:00:50","role":"writer"}}],"e_book":{"toc":[{"page":0,"title":"Title Page"},{"page":1,"title":"Copyright"},{"page":3,"title":"Contents"},{"page":6,"title":"Preface"},{"page":9,"title":"Introduction"},{"page":12,"title":"CHAPTER 1 Mathematical Tools and Techniques","children":[{"page":12,"title":"1.1 Logic and Proofs"},{"page":19,"title":"1.2 Sets"},{"page":23,"title":"1.3 Functions and Equivalence Relations"},{"page":28,"title":"1.4 Languages"},{"page":32,"title":"1.5 Recursive Definitions"},{"page":37,"title":"1.6 Structural Induction"},{"page":45,"title":"Exercises"}]},{"page":56,"title":"CHAPTER 2 Finite Automata and the Languages They Accept","children":[{"page":56,"title":"2.1 Finite Automata: Examples and Definitions"},{"page":65,"title":"2.2 Accepting the Union, Intersection, or Difference of Two Languages"},{"page":69,"title":"2.3 Distinguishing One String from Another"},{"page":74,"title":"2.4 The Pumping Lemma"},{"page":79,"title":"2.5 How to Build a Simple Computer Using Equivalence Classes"},{"page":84,"title":"2.6 Minimizing the Number of States in a Finite Automaton"},{"page":88,"title":"Exercises"}]},{"page":103,"title":"CHAPTER 3 Regular Expressions, Nondeterminism, and Kleene’s Theorem","children":[{"page":103,"title":"3.1 Regular Languages and Regular Expressions"},{"page":107,"title":"3.2 Nondeterministic Finite Automata"},{"page":115,"title":"3.3 The Nondeterminism in an NFA Can Be Eliminated"},{"page":121,"title":"3.4 Kleene’s Theorem, Part 1"},{"page":125,"title":"3.5 Kleene’s Theorem, Part 2"},{"page":128,"title":"Exercises"}]},{"page":141,"title":"CHAPTER 4 Context-Free Languages","children":[{"page":141,"title":"4.1 Using Grammar Rules to Define a Language"},{"page":145,"title":"4.2 Context-Free Grammars: Definitions and More Examples"},{"page":149,"title":"4.3 Regular Languages and Regular Grammars"},{"page":152,"title":"4.4 Derivation Trees and Ambiguity"},{"page":160,"title":"4.5 Simplified Forms and Normal Forms"},{"page":165,"title":"Exercises"}]},{"page":175,"title":"CHAPTER 5 Pushdown Automata","children":[{"page":175,"title":"5.1 Definitions and Examples"},{"page":183,"title":"5.2 Deterministic Pushdown Automata"},{"page":187,"title":"5.3 A PDA from a Given CFG"},{"page":195,"title":"5.4 A CFG from a Given PDA"},{"page":202,"title":"5.5 Parsing"},{"page":207,"title":"Exercises"}]},{"page":216,"title":"CHAPTER 6 Context-Free and Non-Context-Free Languages","children":[{"page":216,"title":"6.1 The Pumping Lemma for Context-Free Languages"},{"page":225,"title":"6.2 Intersections and Complements of CFLs"},{"page":229,"title":"6.3 Decision Problems Involving Context-Free Languages"},{"page":231,"title":"Exercises"}]},{"page":235,"title":"CHAPTER 7 Turing Machines","children":[{"page":235,"title":"7.1 A General Model of Computation"},{"page":240,"title":"7.2 Turing Machines as Language Acceptors"},{"page":245,"title":"7.3 Turing Machines That Compute Partial Functions"},{"page":249,"title":"7.4 Combining Turing Machines"},{"page":254,"title":"7.5 Multitape Turing Machines"},{"page":258,"title":"7.6 The Church-Turing Thesis"},{"page":259,"title":"7.7 Nondeterministic Turing Machines"},{"page":263,"title":"7.8 Universal Turing Machines"},{"page":268,"title":"Exercises"}]},{"page":276,"title":"CHAPTER 8 Recursively Enumerable Languages","children":[{"page":276,"title":"8.1 Recursively Enumerable and Recursive"},{"page":279,"title":"8.2 Enumerating a Language"},{"page":282,"title":"8.3 More General Grammars"},{"page":288,"title":"8.4 Context-Sensitive Languages and the Chomsky Hierarchy"},{"page":294,"title":"8.5 Not Every Language Is Recursively Enumerable"},{"page":301,"title":"Exercises"}]},{"page":310,"title":"CHAPTER 9 Undecidable Problems","children":[{"page":310,"title":"9.1 A Language That Can’t Be Accepted, and a Problem That Can’t Be Decided"},{"page":315,"title":"9.2 Reductions and the Halting Problem"},{"page":319,"title":"9.3 More Decision Problems Involving Turing Machines"},{"page":325,"title":"9.4 Post’s Correspondence Problem"},{"page":332,"title":"9.5 Undecidable Problems Involving Context-Free Languages"},{"page":337,"title":"Exercises"}]},{"page":342,"title":"CHAPTER 10 Computable Functions","children":[{"page":342,"title":"10.1 Primitive Recursive Functions"},{"page":349,"title":"10.2 Quantification, Minimalization, and μ-Recursive Functions"},{"page":355,"title":"10.3 Gödel Numbering"},{"page":359,"title":"10.4 All Computable Functions Are μ-Recursive"},{"page":363,"title":"10.5 Other Approaches to Computability"},{"page":364,"title":"Exercises"}]},{"page":369,"title":"CHAPTER 11 Introduction to Computational Complexity","children":[{"page":369,"title":"11.1 The Time Complexity of a Turing Machine, and the Set P"},{"page":374,"title":"11.2 The Set NP and Polynomial Verifiability"},{"page":380,"title":"11.3 Polynomial-Time Reductions and NP-Completeness"},{"page":384,"title":"11.4 The Cook-Levin Theorem"},{"page":389,"title":"11.5 Some Other NP-Complete Problems"},{"page":394,"title":"Exercises"}]},{"page":400,"title":"Solutions to Selected Exercises"},{"page":436,"title":"Selected Bibliography"},{"page":438,"title":"Index of Notation"},{"page":439,"title":"Index"}],"pages_count":448,"version":"6.15.2","dir":"ltr","state":"converting","token":"2a94e552184a7bfa","status":"SUCCEED","pages_count_fa":"۴۴۸"},"publisher":{"id":103,"title":"McGraw-Hill","description":null,"logo":null,"token":"f1da1800d6e8795b","slug":"McGraw-Hill"},"tags":[{"title":"نظریه محاسبات","token":"8a881f78e516ef65","pivot":{"taggable_id":578,"tag_id":2742}},{"title":"Theory of Computation","token":"a761fb457fa31845","pivot":{"taggable_id":578,"tag_id":2744}}],"study_subjects":[{"id":32404,"title":"مباحثی در نظریه محاسبه","meta_title":"مباحثی در نظریه محاسبه","meta_description":"مباحثی در نظریه محاسبه - بوکت، نخستین و بزرگ‌ترین سامانه‌ی یادگیری و آموزش با قابلیت کرایه و خرید نسخه‌ی الکترونیکی کتاب‌های دانشگاهی است ","faq":null,"keywords":"بوکت,کرایه کتاب,کتاب الکترونیک/ نسخه الکترونیک,ئی بوک/ایبوک,مطالعه آنلاین,کتاب تخصصی,کتاب دانشگاهی,دانلود کتاب,خرید کتاب,جستجوی کتاب,خرید کتاب الکترونیک,ناشرشو,چاپ کتاب,چاپ رایگان کتاب,کتاب مهندسی,کتاب پزشکی,کتاب مدیریت,جیتجو در متن کتاب,دانلود اپلیکیشن کتابخوان","description":null,"token":"4417699aeae15b17","type":"","books_count":2,"created_at":"2017-10-07 11:46:46","updated_at":"2017-12-12 14:48:21","study_fields":[{"id":76,"title":"علوم کامپیوتر گرایش نظریه محاسبه","meta_title":"علوم کامپیوتر گرایش نظریه محاسبه","meta_description":"علوم کامپیوتر گرایش نظریه محاسبه - بوکت، نخستین و بزرگ‌ترین سامانه‌ی یادگیری و آموزش با قابلیت کرایه و خرید نسخه‌ی الکترونیکی کتاب‌های دانشگاهی است ","faq":null,"keywords":"بوکت,کرایه کتاب,کتاب الکترونیک/ نسخه الکترونیک,ئی بوک/ایبوک,مطالعه آنلاین,کتاب تخصصی,کتاب دانشگاهی,دانلود کتاب,خرید کتاب,جستجوی کتاب,خرید کتاب الکترونیک,ناشرشو,چاپ کتاب,چاپ رایگان کتاب,کتاب مهندسی,کتاب پزشکی,کتاب مدیریت,جیتجو در متن کتاب,دانلود اپلیکیشن کتابخوان","description":null,"token":"0214cede99274753","books_count":5,"created_at":"2017-10-07 11:22:48","updated_at":"2022-11-23 15:36:36","study_groups":[{"id":10,"title":"فنی و مهندسی","meta_title":"فنی و مهندسی","meta_description":"فنی و مهندسی - بوکت، نخستین و بزرگ‌ترین سامانه‌ی یادگیری و آموزش با قابلیت کرایه و خرید نسخه‌ی الکترونیکی کتاب‌های دانشگاهی است ","faq":null,"keywords":"بوکت,کرایه کتاب,کتاب الکترونیک/ نسخه الکترونیک,ئی بوک/ایبوک,مطالعه آنلاین,کتاب تخصصی,کتاب دانشگاهی,دانلود کتاب,خرید کتاب,جستجوی کتاب,خرید کتاب الکترونیک,ناشرشو,چاپ کتاب,چاپ رایگان کتاب,کتاب مهندسی,کتاب پزشکی,کتاب مدیریت,جیتجو در متن کتاب,دانلود اپلیکیشن کتابخوان","description":null,"token":"cd075d6bdb3fbd29","style":{"first_color":"#F47820","second_color":"#F47820","icon":"images/categories/mohandesi.png"},"books_count":748,"created_at":"2017-10-07 11:22:44","updated_at":"2024-11-20 11:07:21"}]}]},{"id":38170,"title":"نظریه محاسبات پیشرفته","meta_title":"نظریه محاسبات پیشرفته","meta_description":"نظریه محاسبات پیشرفته - بوکت، نخستین و بزرگ‌ترین سامانه‌ی یادگیری و آموزش با قابلیت کرایه و خرید نسخه‌ی الکترونیکی کتاب‌های دانشگاهی است ","faq":null,"keywords":"بوکت,کرایه کتاب,کتاب الکترونیک/ نسخه الکترونیک,ئی بوک/ایبوک,مطالعه آنلاین,کتاب تخصصی,کتاب دانشگاهی,دانلود کتاب,خرید کتاب,جستجوی کتاب,خرید کتاب الکترونیک,ناشرشو,چاپ کتاب,چاپ رایگان کتاب,کتاب مهندسی,کتاب پزشکی,کتاب مدیریت,جیتجو در متن کتاب,دانلود اپلیکیشن کتابخوان","description":null,"token":"6c467ce7febb14fe","type":"","books_count":3,"created_at":"2017-10-07 11:58:27","updated_at":"2020-08-15 16:16:56","study_fields":[{"id":76,"title":"علوم کامپیوتر گرایش نظریه محاسبه","meta_title":"علوم کامپیوتر گرایش نظریه محاسبه","meta_description":"علوم کامپیوتر گرایش نظریه محاسبه - بوکت، نخستین و بزرگ‌ترین سامانه‌ی یادگیری و آموزش با قابلیت کرایه و خرید نسخه‌ی الکترونیکی کتاب‌های دانشگاهی است ","faq":null,"keywords":"بوکت,کرایه کتاب,کتاب الکترونیک/ نسخه الکترونیک,ئی بوک/ایبوک,مطالعه آنلاین,کتاب تخصصی,کتاب دانشگاهی,دانلود کتاب,خرید کتاب,جستجوی کتاب,خرید کتاب الکترونیک,ناشرشو,چاپ کتاب,چاپ رایگان کتاب,کتاب مهندسی,کتاب پزشکی,کتاب مدیریت,جیتجو در متن کتاب,دانلود اپلیکیشن کتابخوان","description":null,"token":"0214cede99274753","books_count":5,"created_at":"2017-10-07 11:22:48","updated_at":"2022-11-23 15:36:36","study_groups":[{"id":10,"title":"فنی و مهندسی","meta_title":"فنی و مهندسی","meta_description":"فنی و مهندسی - بوکت، نخستین و بزرگ‌ترین سامانه‌ی یادگیری و آموزش با قابلیت کرایه و خرید نسخه‌ی الکترونیکی کتاب‌های دانشگاهی است ","faq":null,"keywords":"بوکت,کرایه کتاب,کتاب الکترونیک/ نسخه الکترونیک,ئی بوک/ایبوک,مطالعه آنلاین,کتاب تخصصی,کتاب دانشگاهی,دانلود کتاب,خرید کتاب,جستجوی کتاب,خرید کتاب الکترونیک,ناشرشو,چاپ کتاب,چاپ رایگان کتاب,کتاب مهندسی,کتاب پزشکی,کتاب مدیریت,جیتجو در متن کتاب,دانلود اپلیکیشن کتابخوان","description":null,"token":"cd075d6bdb3fbd29","style":{"first_color":"#F47820","second_color":"#F47820","icon":"images/categories/mohandesi.png"},"books_count":748,"created_at":"2017-10-07 11:22:44","updated_at":"2024-11-20 11:07:21"}]}]}],"study_fields":[{"id":76,"title":"علوم کامپیوتر گرایش نظریه محاسبه","meta_title":"علوم کامپیوتر گرایش نظریه محاسبه","meta_description":"علوم کامپیوتر گرایش نظریه محاسبه - بوکت، نخستین و بزرگ‌ترین سامانه‌ی یادگیری و آموزش با قابلیت کرایه و خرید نسخه‌ی الکترونیکی کتاب‌های دانشگاهی است ","faq":null,"keywords":"بوکت,کرایه کتاب,کتاب الکترونیک/ نسخه الکترونیک,ئی بوک/ایبوک,مطالعه آنلاین,کتاب تخصصی,کتاب دانشگاهی,دانلود کتاب,خرید کتاب,جستجوی کتاب,خرید کتاب الکترونیک,ناشرشو,چاپ کتاب,چاپ رایگان کتاب,کتاب مهندسی,کتاب پزشکی,کتاب مدیریت,جیتجو در متن کتاب,دانلود اپلیکیشن کتابخوان","description":null,"token":"0214cede99274753","books_count":5,"created_at":"2017-10-07 11:22:48","updated_at":"2022-11-23 15:36:36","study_groups":[{"id":10,"title":"فنی و مهندسی","meta_title":"فنی و مهندسی","meta_description":"فنی و مهندسی - بوکت، نخستین و بزرگ‌ترین سامانه‌ی یادگیری و آموزش با قابلیت کرایه و خرید نسخه‌ی الکترونیکی کتاب‌های دانشگاهی است ","faq":null,"keywords":"بوکت,کرایه کتاب,کتاب الکترونیک/ نسخه الکترونیک,ئی بوک/ایبوک,مطالعه آنلاین,کتاب تخصصی,کتاب دانشگاهی,دانلود کتاب,خرید کتاب,جستجوی کتاب,خرید کتاب الکترونیک,ناشرشو,چاپ کتاب,چاپ رایگان کتاب,کتاب مهندسی,کتاب پزشکی,کتاب مدیریت,جیتجو در متن کتاب,دانلود اپلیکیشن کتابخوان","description":null,"token":"cd075d6bdb3fbd29","style":{"first_color":"#F47820","second_color":"#F47820","icon":"images/categories/mohandesi.png"},"books_count":748,"created_at":"2017-10-07 11:22:44","updated_at":"2024-11-20 11:07:21"}]}],"study_groups":[{"id":10,"title":"فنی و مهندسی","meta_title":"فنی و مهندسی","meta_description":"فنی و مهندسی - بوکت، نخستین و بزرگ‌ترین سامانه‌ی یادگیری و آموزش با قابلیت کرایه و خرید نسخه‌ی الکترونیکی کتاب‌های دانشگاهی است ","faq":null,"keywords":"بوکت,کرایه کتاب,کتاب الکترونیک/ نسخه الکترونیک,ئی بوک/ایبوک,مطالعه آنلاین,کتاب تخصصی,کتاب دانشگاهی,دانلود کتاب,خرید کتاب,جستجوی کتاب,خرید کتاب الکترونیک,ناشرشو,چاپ کتاب,چاپ رایگان کتاب,کتاب مهندسی,کتاب پزشکی,کتاب مدیریت,جیتجو در متن کتاب,دانلود اپلیکیشن کتابخوان","description":null,"token":"cd075d6bdb3fbd29","style":{"first_color":"#F47820","second_color":"#F47820","icon":"images/categories/mohandesi.png"},"books_count":748,"created_at":"2017-10-07 11:22:44","updated_at":"2024-11-20 11:07:21"}],"views":1,"titleLink":"Introduction-to-Languages-and-The-Theory-of-Computation","ebook_price_en":19,"urlify":"Introduction-to-Languages-and-The-Theory-of-Computation","pages_count_fa":"۴۴۸","authorTitle":"John Martin","tocStr":"Title Page, Copyright, Contents, Preface, Introduction, CHAPTER 1 Mathematical Tools and Techniques, CHAPTER 2 Finite Automata and the Languages They Accept, CHAPTER 3 Regular Expressions, Nondeterminism, and Kleene’s Theorem, CHAPTER 4 Context-Free Languages, CHAPTER 5 Pushdown Automata, CHAPTER 6 Context-Free and Non-Context-Free Languages, CHAPTER 7 Turing Machines, CHAPTER 8 Recursively Enumerable Languages, CHAPTER 9 Undecidable Problems, CHAPTER 10 Computable Functions, CHAPTER 11 Introduction to Computational Complexity, Solutions to Selected Exercises, Selected Bibliography, Index of Notation, Index","url":"/preview/2a94e552184a7bfa/Introduction-to-Languages-and-The-Theory-of-Computation"}

{"loading":true}