کتاب کامپایلرها – اولمن | ابراهیم زاده قلزم

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

فصل اول: آشنایی با کامپایلر ها و روش های مختلف کامپایل

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

فصل دوم: کامپایلر ساده یک گذره

با توصیف این که برنامه ها، به چه صورتی هستند و چه معنایی دارند، زبان های برنامه نویسی رای می توان تعریف کرد. برای مشخص کردن ساختار دستوری زبان، از نمادگذاری پر استفاده به نام گرامر های مستقل از متن یا BNF استفاده می شود.

فصل سوم: تحلیل لغوی

یک راه ساده برای ایجاد تحلیل گر لغوی، ساخت نموداری است که ساختار نشانه هایی از زبان مبدا را توضیح می دهد و سپس ترجمه دستی نمودار به یک برنامه برای پیدا کردن نشانه ها است؛ تحلیل گرهای لغوی کارآمد، به این صورت به وجود می آیند.

فصل چهارم: تحلیل ساختار دستور

هر زبان برنامه نویسی دارای قوانینی است که ساختار دستوری برنامه هایی که خوش شکل هستند را توصیف می کند. برای مثال در زبان پاسکال، هر برنامه از تعدادی بلاک، هر بلاک از تعدادی دستور و هر دستور از تعدادی عبارت، و هر عبارت از تعدادی نشانه و همین طور تا آخر تشکیل می شود.

فصل پنجم: ترجمه مبتنی بر دستور

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

فصل ششم: کنترل نوع داده

یک کامپایلر باید کنترل کند که برنامه مبدا هم از قرارداد های دستوری و هم از قرارداد های معنایی زبان مبدا پیروی می کند. این کنترل، کنترل ایستا نامیده می شود و به ما اطمینان می دهند که انواع معینی خطا های برنامه نویسی کشف شده و گزارش شوند.

فصل هفتم: محیط های زمان اجرا

قبل از بررسی تولید کد، لازم است ارتباطی بین متن ایستای مبدا یک برنامه با عملیاتی که باید در زمان اجرای برنامه انجام شود برقرار کنیم تا بتوانیم برنامه را پیاده سازی کنیم. همزمان با اجرای برنامه، یک نام در متن مبدا می تواند اشیاء داده ای مختلفی را در ماشین مقصد نمایش دهد.

فصل هشتم: تولید کد میانی

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