Văn phạm với các luật sinh: E → EAE; E-> (E); E-> - E; E-> id; A→+ Có thể sinh ra chuỗi nhập nào?

Khi sử dụng phương pháp SLR để xây dựng một bảng phân tích cú pháp LR thì đây là phương pháp

Lời giải:

Đáp án đúng: A

Phương pháp SLR (Simple LR) là một phương pháp xây dựng bảng phân tích cú pháp LR (Left-to-right Rightmost derivation) tương đối đơn giản so với các phương pháp khác như CLR (Canonical LR) hay LALR (Look-Ahead LR). Do đó, nó thường được coi là dễ cài đặt nhất trong số các phương pháp này.

* A. Dễ cài đặt nhất: Đây là đáp án chính xác. SLR đơn giản hơn về mặt thuật toán và cấu trúc bảng so với CLR và LALR, làm cho việc cài đặt trở nên dễ dàng hơn.
* B. Khó cài đặt nhất: Sai, vì có các phương pháp phức tạp hơn như CLR.
* C. Hiệu quả nhất: Sai, hiệu quả của một phương pháp phân tích cú pháp phụ thuộc vào nhiều yếu tố, không chỉ là phương pháp xây dựng bảng. SLR có thể không hiệu quả bằng các phương pháp khác trong một số trường hợp nhất định.
* D. Đệ quy: Sai, đệ quy là một khái niệm khác, không trực tiếp liên quan đến việc xây dựng bảng phân tích cú pháp LR.

Câu 15:

Giả sử I là một tập các mục của văn phạm G thì bao đóng closure(I) là tập các mục được xây dựng từ I theo qui tắc sau:

Lời giải:

Đáp án đúng: A

Định nghĩa bao đóng (closure) của một tập các mục văn phạm (items) I là một tập các mục được xây dựng lặp đi lặp lại. Đầu tiên, tất cả các mục trong I được thêm vào closure(I). Sau đó, nếu có một mục A → x.By trong closure(I), nghĩa là ta đang xét một luật sinh A → xBy và đã đọc xong x, chuẩn bị đọc B, thì ta cần thêm tất cả các luật sinh của B (B → z) vào closure(I) dưới dạng B → .z (nếu nó chưa có trong đó). Việc này được lặp lại cho đến khi không còn mục nào có thể được thêm vào closure(I) nữa.

Phương án A mô tả chính xác định nghĩa này. Các phương án còn lại không đầy đủ hoặc không chính xác quy tắc thêm các luật sinh của B.

Câu 16:

Quá trình phân tích từ vựng cho câu lệnh gán: position = initial + rate*60 sẽ tách thành bao nhiêu từ tố?

Lời giải:

Đáp án đúng: D

Quá trình phân tích từ vựng (lexical analysis) sẽ tách câu lệnh thành các từ tố (tokens) như sau:

position: định danh (identifier)
=: toán tử gán (assignment operator)
initial: định danh (identifier)
+: toán tử cộng (addition operator)
rate: định danh (identifier)
*: toán tử nhân (multiplication operator)
60: hằng số nguyên (integer literal)

Vậy, tổng cộng có 7 từ tố.

Câu 17:

Cho trước câu lệnh gán: x = y + z, trong quá trình phân tích từ vựng thì phát biểu nào sau đây đúng?

Lời giải:

Đáp án đúng: B

Trong câu lệnh gán x = y + z, quá trình phân tích từ vựng (lexical analysis) sẽ xác định các thành phần cơ bản của câu lệnh. Ở đây, x, y, và z là các định danh (identifiers), thường được dùng để đặt tên cho biến, hàm, hoặc các đối tượng khác trong chương trình. Dấu + là một toán tử (operator). Vì vậy, x, y, và z được xem là các từ tố định danh.

Phương án A không chính xác vì nó đề cập đến ngôn ngữ C cụ thể, trong khi phân tích từ vựng là một bước tổng quát trong quá trình biên dịch, không phụ thuộc vào ngôn ngữ cụ thể.

Phương án C không chính xác vì + là một toán tử, không phải là một định danh.

Phương án D không chính xác vì + là một toán tử, không phải là một biến.

Câu 18:

Quá trình phân tích từ vựng cho câu lệnh gán: x = y - a*2+b+c*8 sẽ tách thành bao nhiêu Từ tố số nguyên?

Lời giải:

Đáp án đúng: C

Câu lệnh gán "x = y - a*2+b+c*8" chứa các hằng số nguyên là 2 và 8. Do đó, quá trình phân tích từ vựng sẽ tách thành 2 từ tố số nguyên.

Câu 19:

Văn phạm gồm các luật sinh: S->AA A->aa A->bb mô tả ngôn ngữ nào?

Lời giải: