TAILIEUCHUNG - Tài liệu trình biên dịch C (ĐH Cần Thơ) part 11

BỘ PHÂN TÍCH CÚ PHÁP LR Phần này giới thiệu một kỹ thuật phân tích cú pháp từ dưới lên khá hiệu quả, có thể sử dụng để phân tích một lớp rộng các văn phạm phi ngữ cảnh. Kỹ thuật này được gọi là phân tích cú pháp LR(k). L (left - to - right): Duyệt chuỗi nhập từ trái sang phải. R (rightmost derivation): Xây dựng chuỗi dẫn xuất phải nhất đảo ngược. k : Số lượng ký hiệu nhập được xét tại mỗi thời điểm dùng để đưa ra quyết định phân tích. Khi không đề. | VI. BỘ PHÂN TÍCH CÚ PHÁP LR Phần này giới thiệu một kỹ thuật phân tích cú pháp từ dưới lên khá hiệu quả có thể sử dụng để phân tích một lớp rộng các văn phạm phi ngữ cảnh. Kỹ thuật này được gọi là phân tích cú pháp LR k . L left - to - right Duyệt chuỗi nhập từ trái sang phải. R rightmost derivation Xây dựng chuỗi dẫn xuất phải nhất đảo ngược. k Số lượng ký hiệu nhập được xét tại mỗi thời điểm dùng để đưa ra quyết định phân tích. Khi không đề cập đến k chúng ta hiểu ngầm là k 1. Các ưu điểm của bộ phân tích cú pháp LR - Bộ phân tích cú pháp LR có thể được xây dựng để nhận biết hầu như tất cả các ngôn ngữ lập trình được tạo ra bởi văn phạm phi ngữ cảnh. - Phương pháp phân tích cú pháp LR là phương pháp tổng quát của phương pháp chuyên thu gọn không quay lui. Nó có thể được cài đặt có hiệu quả như các phương pháp chuyên thu gọn khác. - Lớp văn phạm có thể dùng phương pháp LR là một lớp rộng lớn hơn lớp văn phạm có thể sử dụng phương pháp dự đoán. - Bộ phân tích cú pháp LR cũng có thể xác định lỗi cú pháp nhanh ngay trong khi duyệt dòng nhập từ trái sang phải. Nhược điểm chủ yếu của phương pháp này là cần phải thực hiện quá nhiều công việc để xây dựng được bộ phân tích cú pháp LR theo kiểu thủ công cho một văn phạm ngôn ngữ lập trình điển hình. 88 1. Thuật toán phân tích cú pháp LR Hình - Mô hình bộ phân tích cú pháp LR Stack lưu một chuỗi soXisiX2s2 . Xmsm trong đó sm nằm trên đỉnh Stack. Xi là một ký hiệu văn phạm si là một trạng thái tóm tắt thông tin chứa trong Stack bên dưới nó. Bảng phân tích bao gồm 2 phần hàm action và hàm goto. J action sm a có thể có một trong 4 giá trị 1. shift s đẩy s trong đó s là một trạng thái. 2. reduce A ß thu gọn bằng luật sinh A ß. 3. accept Chấp nhận 4. error Báo lỗi J Goto lấy 2 tham số là một trạng thái và một ký hiệu văn phạm nó sinh ra một trạng thái. Cấu hình configuration của một bộ phân tích cú pháp LR là một cặp thành phần trong đó thành phần đầu là nội dung của Stack phần sau là chuỗi nhập chưa phân tích s0X1s1X2s2 .

• Kỹ thuật lập trình
• trình biên dịch c
• thủ thuật lập trình
• lập trình c
• tài liệu trình biên dịch
• biên dịch c