سایت CEB:ترجمه تخصصی رشته کامپیوتر - معرفی و دانلود کتب انگلیسی رشته کامپیوتر

امتیاز کاربران

ستاره غیر فعالستاره غیر فعالستاره غیر فعالستاره غیر فعالستاره غیر فعال
 

انتشارات: Cambridge University Press

اثر: Jeffrey Shallit

تعداد صفحه: 254

حجم: 1.49MB

جلد کتاب

توضیحات کتاب (خلاصه پیشگفتار):

This is a textbook for a second course on formal languages and automata theory. Many undergraduates in computer science take a course entitled “Introduction to Theory of Computing”, in which they learn the basics of finite automata, pushdown automata, context-free grammars, and Turing machines. However, few students pursue advanced topics in these areas, in part because there is no really satisfactory textbook.

For almost 20 years I have been teaching such a second course for fourth year undergraduate majors and graduate students in computer science at the University of Waterloo, entitled “Formal Languages and Parsing”. For many years we used Hopcroft and Ullman’s "Introduction to Automata Theory, Languages, and Computation" as the course text, a book that has proved very influential. (The reader will not have to look far to see its influence on the present book.)

In 2001, however, Hopcroft and Ullman released a second edition of their text that, in the words of one professor, “removed all the good parts”. In other words, their second edition is geared toward second-year and third-year students, and omits nearly all the advanced topics suitable for fourth-year students and beginning graduate students. Because the first edition of Hopcroft and Ullman’s book is no longer easily available, and because I have been regularly supplementing their book with my own handwritten course notes, it occurred to me that it was a good time to write a textbook on advanced topics in formal languages. The result is this book.

The book contains many topics that are not available in other textbooks. To name just a few, it addresses the Lyndon–Schutzenberger theorem, Thue’s results on avoiding squares, state complexity of finite automata, Parikh’s theorem, the interchange lemma, Earley’s parsing method, Kolmogorov complexity, and Cook’s theorem on the simulation of 2DPDAs. Furthermore, some well-known theorems have new (and hopefully simpler) proofs. Finally, there are almost 200 exercises to test students’knowledge. I hope this book will prove useful to advanced undergraduates and beginning graduate students who want to dig a little deeper in the theory of formal languages.

I assume the reader is familiar with the material contained in a typical first course in the theory of computing and algorithm design. Although much of this book follows the traditional theorem/proof style, it does have one nonstandard feature. Many proofs are accompanied by “proof ideas,” which attempt to capture the intuition behind the proofs. In some cases, proof ideas are all that is provided. I have tried to point out some common errors that students typically make when encountering this material for the first time. Each chapter has a small number of suggested projects that are suitable for term papers. Each chapter has a small number of research problems. Currently, no one knows how to solve these problems.

 

 

آیکن نشانگر نوع فایل در سایت CEBدانلود


برای دانلود کتاب، ثبت درخواست ترجمه، و دریافت رایگان خبرنامه‌های سایت نیاز به ثبت نام دارید.

آیا از خواندن متون ترجمه‌ای بی سر و ته خسته شده‌اید؟ و بدنبال راهی برای بهره‌گیری از یک متن اصیل برای یادگیری هستید؟
آیا وقت کافی برای فهم و یا ترجمه‌ی مطلب خود در اختیار ندارید؟
از خواندن متنی که کارتان گیر آن است کلافه شده‌اید؟
کار را به ما بسپارید، خیالتان راحت!

هم اکنون! سايت CEB را به چند نفر از دوستان خود هم معرفی کنيد؛ با اين کار علاوه بر حمايت از ما، به بالا رفتن کيفيت خدمات و پايين ماندن تعرفه‌ی دانلود هم کمک کرده‌ايد.



dear author and publishers!
If you do not agree that your books be freely available through this site to Iranians - Those who are not subject to the Copy Right law - please contact us through your official email address so that we can identify you as the author or publisher of that books and remove all your books that you don't like to be accessible through this site. Note that only downloadable material can be appeared on this website. Also note that this site is not the source of illegal publication of the books; We only gathered the books accessible via the Internet together and maked these books more accessible to Iranians.


Valid XHTML 1.0 Transitional