Giáo trình Môn chương trình dịch: Phần 2
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Giáo trình Môn chương trình dịch: Phần 2
Giáo trình Môn chương trình dịch: Phần 2
CHƯƠNG 5 BIÊN ĐỊCH DựA cú pháp.1MỤC ĐÍCH, NHIỆM vụ.-Các hành động dịch phụ thuộc rất nhiều vào cú pháp của chương trinh nguồn cần dịch.Quá trinh dịch Giáo trình Môn chương trình dịch: Phần 2 được điều khiên theo câu trúc cú pháp cùa chương trinh nguồn, cú pháp này được xác định thông qua bộ phàn tích cú pháp.-Nhằm điều khiên các phần hoạt động theo cù pháp, cách thường dùng lã gia cò các luật sân xuất ( mà ta biêt cụ thé những luật nào và thứ tự thực hiện ra sao thòng qua cây phàn tích Giáo trình Môn chương trình dịch: Phần 2) băng cách thèm các thuộc tính cho văn phạm đẩy, và các qui tăc sinh thuộc tính gắn với từng luật cú pháp. Các qui tăc đó, ta gọi lã qui tắc ngừ nghĩGiáo trình Môn chương trình dịch: Phần 2
a (semantic Riles).-thực hiện các qui tắc ngừ nghĩa đó sè cho thòng tin về ngừ nghĩa, dùng đê kiêm tra kiêu, lưu thòng tin vào bâng ký hiệu và sinh màCHƯƠNG 5 BIÊN ĐỊCH DựA cú pháp.1MỤC ĐÍCH, NHIỆM vụ.-Các hành động dịch phụ thuộc rất nhiều vào cú pháp của chương trinh nguồn cần dịch.Quá trinh dịch Giáo trình Môn chương trình dịch: Phần 2ion) và lược đồ dịch (translation scheme).-Các luật ngừ nghĩa còn có các hãnh động phụ (ngoài việc sinh thuộc tinh cho các ký hiệu văn phạm trong sân xuất) như in ra một giá trị hoặc cập nhật một biến toàn cục.Cảc kiến thức trong phấn náy không nam trong khối chức năng riêng rè nào của chương trình Giáo trình Môn chương trình dịch: Phần 2dịch mà được dùng làm cơ sớ cho toàn bộ các khoi nam sau khói phân tích cú pháp.Một xâu vào —> Cây phân tích —*ĐÔ thỉ phụ thuộc —>thứ tựđánh giã cho cGiáo trình Môn chương trình dịch: Phần 2
ác luật ngừ nghĩa.2ĐỊNH NGHĨA củ PHÁP ĐIÈU KHIÊN.Cù pháp điều khiên (syntax-directed definition) lã một dạng tông quát hoá cua văn phạm phi ngừ cánh, CHƯƠNG 5 BIÊN ĐỊCH DựA cú pháp.1MỤC ĐÍCH, NHIỆM vụ.-Các hành động dịch phụ thuộc rất nhiều vào cú pháp của chương trinh nguồn cần dịch.Quá trinh dịch Giáo trình Môn chương trình dịch: Phần 2thừa (inherited attribute) của ký hiệu văn phạm đó.Một cây phàn tích cù pháp có trình bây các giá trị cùa các thuộc tinh tại mồi nút được gọi lã cây phân tích cú pháp có chù giái (hay gọi là cây phàn tích đánh dâu) (annotated parse tree).2.1.Cú pháp điều khiên.2.1.1.Dạng cua định nghĩa cú pháp điều Giáo trình Môn chương trình dịch: Phần 2khiên.Trong mồi cú pháp điều khiên, mồi sán xuất A->a có thê được liên kết với một tập các qui tắc ngừ nghĩa có dạng b = f(ci,. . .,Ck) với f là một hGiáo trình Môn chương trình dịch: Phần 2
àm vàa)b là một thuộc tính tông hợp cúa A, còn C],.. ,,Ck là các thuộc tinh cùa các ký hiệu trong sân xuất đó. Hoặcb)b là một thuộc tính kế thừa của mCHƯƠNG 5 BIÊN ĐỊCH DựA cú pháp.1MỤC ĐÍCH, NHIỆM vụ.-Các hành động dịch phụ thuộc rất nhiều vào cú pháp của chương trinh nguồn cần dịch.Quá trinh dịch Giáo trình Môn chương trình dịch: Phần 21,.. ..Ck- Một văn phạm thuộc tinh (Attribute Grammar) là một cú pháp điều khiên mà các luật ngừ nghĩa không có hành động phụ.Vi du: Sau dày là văn phạm cho một chương trinh máy tính bô túi với val là một thuộc tinh biếu diễn giá trị cũa kỷ hiệu văn phạm.Sán xuầtLuật ngữ nghĩaL -> E nPrint(E.vaì)E-> Giáo trình Môn chương trình dịch: Phần 2E, + TE.vaỉ = Ei.vaỉ + T.vaìE->TE.vaì = T.vaỉT-> T1 * FT.vaỉ = T;.val * F.valT->FT.vaỉ = F.valF->(E)Eval = E.vaỉF-> digitF.val = digitdexvaìTừ tỏ digiGiáo trình Môn chương trình dịch: Phần 2
t có thuộc tính Lexvaì: là già trị cha digit đó được lính nhờ bộ phân lích lừ vựng. Ki hiệu n: xuông dòng. Print: in kèt quà ra mán hình.2.1.2.Thuộc tCHƯƠNG 5 BIÊN ĐỊCH DựA cú pháp.1MỤC ĐÍCH, NHIỆM vụ.-Các hành động dịch phụ thuộc rất nhiều vào cú pháp của chương trinh nguồn cần dịch.Quá trinh dịch Giáo trình Môn chương trình dịch: Phần 2ược tinh cho các ký hiệu ớ vế trái cùa sàn xuất và tinh dựa vào thuộc tính cua các ký hiệu ở vế phai.Một củ pháp điều khiên chí sư dụng các thuộc tinh tông hợp được gọi là cú pháp điểu khiển thuần tính s (S-attribute definition).Một cây phân tích cho văn phạm cú pháp điều khiển thuần tinh s có thề t Giáo trình Môn chương trình dịch: Phần 2hực hiện các luật ngừ nghía theo hướng từ lá đển gốc và có thể sứ dụng trong phươngpháp phân tích LR.Vi dụ: vè cày cho đầu vào: 3*4+4nvi du ỊCHƯƠNG 5 BIÊN ĐỊCH DựA cú pháp.1MỤC ĐÍCH, NHIỆM vụ.-Các hành động dịch phụ thuộc rất nhiều vào cú pháp của chương trinh nguồn cần dịch.Quá trinh dịch CHƯƠNG 5 BIÊN ĐỊCH DựA cú pháp.1MỤC ĐÍCH, NHIỆM vụ.-Các hành động dịch phụ thuộc rất nhiều vào cú pháp của chương trinh nguồn cần dịch.Quá trinh dịchGọi ngay
Chat zalo
Facebook