دانلود کتاب Formal languages and compilation (به فارسی: زبان های رسمی و تالیف) نوشته شده توسط «Stefano Crespi Reghizzi»
اطلاعات کتاب زبان های رسمی و تالیف
موضوع اصلی: برنامه نویسی: کامپایلر
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Stefano Crespi Reghizzi
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2009
تعداد صفحه: 371
حجم کتاب: 4 مگابایت
کد کتاب: 1848820496 , 9781848820494 , 9781848820500 , 184882050X
نوبت چاپ: 1st
توضیحات کتاب زبان های رسمی و تالیف
در حالی که بسیاری از کتاب‌های درسی زبان‌های رسمی و تالیف بر جنبه‌های تکنولوژیکی تمرکز می‌کنند، ظرافت و سادگی *نظریه* زیربنایی است که به دانش‌آموز اجازه می‌دهد تا پارادایم‌های اساسی ساختارهای زبانی را کسب کند، از دام‌هایی مانند ابهام اجتناب کند، و به اندازه کافی نگاشت ساختار به معنا.
زبان‌های رسمی و تالیف مفاهیم اساسی زبان‌های رسمی و تالیف را پوشش می‌دهد، که برای علوم کامپیوتر مرکزی هستند و بر اصول کاملاً ادغام شده‌اند. این مجموعه ای جامع از موضوعات را ارائه می دهد و مبتنی بر تعاریف و الگوریتم های دقیق است که با مثال های انگیزشی بسیاری نشان داده شده است، با تمرکز بر اهمیت ترکیب مفاهیم نظری با کاربردهای عملی.
این کتاب درسی منحصر به فرد همه کاره، به شیوه ای روشن، خواننده پسند و ساده مینیمالیستی، اصول و روش های اساسی مورد استفاده برای تعریف نحو زبان های مصنوعی و پیاده سازی مترجم های ساده و همچنین در طراحی مترجم های مبتنی بر نحو را ارائه می دهد. خوانندگان به پیشینه ای در برنامه نویسی نیاز دارند، اگرچه دانش دقیق یک زبان برنامه نویسی خاص ضروری نیست. آنها همچنین باید تا حدودی با تئوری مجموعه های پایه، جبر و منطق آشنا باشند.
ویژگی ها و موضوعات:
• بسیاری از ابزارهای آموزشی، مانند اسلاید و راه حل هایی برای استادان از طریق وب سایت نویسنده
• مفاهیم و نمادهای مورد استفاده در رویکردهای مختلف الگوریتم های تجزیه را یکسان می کند
• مفاهیم با مثال های واقع گرایانه زیادی نشان داده شده اند تا درک بهتری از تئوری و انتقال به کاربرد
• مدل‌های نظری خودکار، مبدل‌ها و گرامرهای رسمی به طور گسترده مورد استفاده قرار می‌گیرند
• الگوریتم‌ها در یک شبه کد توضیح داده شده‌اند تا از جزئیات آزاردهنده برنامه‌نویسی جلوگیری شود. زبان، اما تبدیل آنها به رویه‌های اجرایی ساده است
• پوشش الگوریتم‌های پردازش عبارات منظم و خودکارهای متناهی مختصر و کامل است. مشکلات هنگام طراحی گرامرها
• مفاهیم و نمادهای مورد استفاده در رویکردهای مختلف را یکسان می کند، بنابراین پوشش روش ها را با دستگاه تعاریف کاهش یافته گسترش می دهد
• تحلیل برنامه ایستا را معرفی می کند، حرکت از خط پایه به دست آمده با خودکارهای محدود و زبان های محلی
این متن جامع و واضح نوشته شده، بر اساس سال ها آموزش دوره، به عنوان راهنمای ایده آل برای مبانی این رشته توسط دانشجویان پیشرفته مورد استقبال قرار خواهد گرفت. و دانشجویان کارشناسی ارشد علوم کامپیوتر و مهندسی کامپیوتر.
استفانو کرسپی رگیزی، استاد کامل علوم کامپیوتر در Politecnico di Milano، میلان، ایتالیا است، که در آنجا سال‌ها تجربه تدریس زبان‌های رسمی و فناوری کامپایلر را دارد. علاوه بر این، او گروه تحقیقاتی کامپایلر دپارتمان را رهبری می‌کند.
Whereas many textbooks on formal languages and compilation focus on technological aspects, it is the elegance and simplicity of the underlying *theory* that allows students to acquire the fundamental paradigms of language structures, to avoid pitfalls such as ambiguity, and to adequately map structure to meaning.
Formal Languages and Compilation covers the fundamental concepts of formal languages and compilation, which are central to computer science and based on well-consolidated principles. It presents a comprehensive selection of topics and is based on rigorous definitions and algorithms, illustrated by many motivating examples, with a focus on the importance of combining theoretical concepts with practical applications.
In a clear, reader-friendly and simple minimalist way, this uniquely versatile textbook provides the essential principles and methods used for defining the syntax of artificial languages and implementing simple translators, as well as in designing syntax-directed translators. Readers require some background in programming, although detailed knowledge of a specific programming language is not necessary; they should also be somewhat familiar with basic set theory, algebra and logic.
Features and topics:
• Provides many pedagogical tools, such as slides and solutions for lecturers via the author’s website
• Unifies the concepts and notations used in the various approaches of parsing algorithms
• Concepts are illustrated with many realistic examples, to ease the understanding of the theory and the transfer to application
• Theoretical models of automata, transducers and formal grammars are used extensively
• Algorithms are described in a pseudo-code to avoid the disturbing details of a programming language, yet they are straightforward to convert to executable procedures
• Coverage of the algorithms for processing regular expressions and finite automata is concise and complete
• Systematically discusses ambiguous forms allowing readers to avoid pitfalls when designing grammars
• Unifies the concepts and notations used in different approaches, thus extending methods coverage with a reduced definitional apparatus
• Introduces static program analysis, moving from the baseline reached with finite automata and local languages
This comprehensive and clearly written text, based on many years of course instruction, will be welcomed as the ideal guide to the fundamentals of this field by advanced undergraduate and graduate students in computer science and computer engineering.
Stefano Crespi Reghizzi is a full professor of computer science at the Politecnico di Milano, Milan, Italy, where he has numerous years of experience teaching formal languages and compiler technology. In addition, he leads the department’s compiler research group.
دانلود کتاب «زبان های رسمی و تالیف»
