Compiler design: syntactic and semantic analysis

در حالی که کامپایلرهای زبان های برنامه نویسی سطح بالا سیستم های نرم افزاری پیچیده بزرگی هستند، اما ویژگی های خاصی دارند که آنها را از سایر سیستم های نرم افزاری متمایز می کند. عملکرد آنها تقریباً کاملاً به خوبی تعریف شده است - در حالت ایده آل، توضیحات کامل و دقیقی از زبان مبدأ و مقصد وجود دارد. توضیحات اضافی در مورد رابط های سیستم عامل، سیستم برنامه نویسی و محیط برنامه نویسی، و سایر کامپایلرها و کتابخانه ها اغلب در دسترس است.

این کتاب به مرحله تجزیه و تحلیل مترجمان می پردازد. زبانهای برنامه نویسی. این تحلیل واژگانی، نحوی و معنایی، مکانیسم‌های مشخص‌سازی این وظایف را از نظریه زبان‌های رسمی، و روش‌هایی برای تولید خودکار براساس نظریه خودکار توضیح می‌دهد. نویسندگان یک ساختار ترجمه مفهومی، یعنی تقسیم به مجموعه‌ای از ماژول‌ها را ارائه می‌کنند، که یک برنامه ورودی را به دنباله‌ای از مراحل در یک برنامه ماشین تبدیل می‌کند، و سپس رابط‌های بین ماژول‌ها را توصیف می‌کنند. در نهایت، ساختار مترجمان واقعی ترسیم شده است. این کتاب حاوی تئوری و توصیه های لازم برای اجرا می باشد.

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

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined – ideally there exist complete precise descriptions of the source and target languages. Additional descriptions of the interfaces to the operating system, programming system and programming environment, and to other compilers and libraries are often available.

This book deals with the analysis phase of translators for programming languages. It describes lexical, syntactic and semantic analysis, specification mechanisms for these tasks from the theory of formal languages, and methods for automatic generation based on the theory of automata. The authors present a conceptual translation structure, i.e., a division into a set of modules, which transform an input program into a sequence of steps in a machine program, and they then describe the interfaces between the modules. Finally, the structures of real translators are outlined. The book contains the necessary theory and advice for implementation.

This book is intended for students of computer science. The book is supported throughout with examples, exercises and program fragments.