نکات تستی کنکور کامپایلر - تحلیل معنایی

خصیصه ساختگی یک نماد گرامری از نوع ساختگی است که مقدارش در گره از روی مقادیر خصیصه های فرزندان و همان گره حساب میشود.

خصیصه های موروثی یک نماد مقدارش از روی خصیصه های پدر یا برادران آن گره حساب میشود.

پایانه ها تنها دارای خصیصه ساختگی هستند.

ترجمه مبتنی بر نحو به دو شکل صورت میگیرد: تعریف مبتنی بر نحو و طرح ترجمه مبتنی بر نحو

اگر در گراف وابستگی دور وجود داشته باشد ترتیبی برای ارزیابی خصیصه ها وجود ندارد

ترتیب اجرای قوانین معنایی جهت ارزیابی خصیصه ها و مقداردهی به آنها منحصر به فرد نیست.

پیمایش پسوندی درخت تجزیه میتواند گرامرهای با تعریف S-attribute را ارزیابی کند

تعاریف S-attribute میتواند برای تمام گرامرهای LR(1) استفاده شود.

هر S-attribute یک L-attribute است.

اگر L-attribute مبتنی بر LL(1) باشد ترجمه میتواند هنگام تجزیه انجام شود.

L-attribute ها تمامی گرامر های LL(1) و اکثر گرامرهای LR(1) را پوشش میدهند.

ترجمه تعاریف مبتنی بر نحو در یک گذر و همزمان با عمل تجزیه انجام میشود بنابراین سرعت بیشتری نسبت به طرح ترجمه مبتنی بر نحو دارند.

در حذف بازگشتی چپ برای طرح ترجمه همه خصیصه های ساختگی با ترکیبی از خصیصه های موروثی و ساختگی جایگزین میشوند.

هر SSD در یک ارزیابی پایین به بالا تنها زمانی ارزیابی میشود که L attribute باشد.

اینها(و یه سری چیزای دیگه) جزو عملیات تحلیل معنایی هستند: بررسی جریان کنترل. بررسی نوع متغیرها. بررسی حلقه های تو در تو.

بررسی نوع در زمان اجرا توسط مجموعه دستورات اضافه شده به برنامه توسط کامپایلر انجام میشود.

چیزهایی که باید از کتاب خوانده شود: ساخت گراف وابستگی. S-attribute. پیاده سازی مترجم مبتنی بر نحو. L-attribute. طرح ترجمه مبتنی بر نحو. تبدیل تعریف مبتنی بر نحو به طرح ترجمه مبتنی بر نحو. پیاده سازی طرح ترجمه با استفاده از تجزیه گر بالا به پایین. پیاده سازی طرح ترجمه با استفاده از تجزیه گر پایین به بالا. حذف کنشهای مفهومی بین نمادهای سمت راست قواعد گرامر. تجزیه با خصیصه های موروثی