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:

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ố.

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.

Văn phạm đã cho có luật sinh S -> AA. Điều này có nghĩa là mọi chuỗi sinh ra từ S đều phải là sự ghép của hai chuỗi sinh ra từ A. A có thể sinh ra "aa" hoặc "bb". Do đó, S có thể sinh ra "aaaa", "aabb", "bbaa", hoặc "bbbb".

Xét các phương án:

• Phương án A: L = {aaaa, aabb, bbaa, bbbb}. Tất cả các chuỗi đều có thể sinh ra từ văn phạm.
• Phương án B: L = {abab, abaa, aaab, baaa}. Không có chuỗi nào có thể sinh ra từ văn phạm.
• Phương án C: L = {aaab, baba, bbaa, bbbb}. Chuỗi "aaab" và "baba" không thể sinh ra từ văn phạm.
• Phương án D: L = {aaaa, abab, bbaa, aaab}. Chuỗi "abab" và "aaab" không thể sinh ra từ văn phạm.

Vậy, phương án đúng là A.

Văn phạm đã cho có các luật sinh là S->aSbb và S->abb. Để xác định lớp của văn phạm, ta cần xem xét các ràng buộc của từng lớp văn phạm theo phân cấp Chomsky:

- Văn phạm lớp 0 (Unrestricted Grammar): Không có ràng buộc nào.

- Văn phạm lớp 1 (Context-Sensitive Grammar): Các luật sinh có dạng α -> β, trong đó |α| ≤ |β| (độ dài của α không lớn hơn độ dài của β), ngoại trừ luật S -> ε nếu S không xuất hiện ở vế phải của bất kỳ luật nào.

- Văn phạm lớp 2 (Context-Free Grammar): Các luật sinh có dạng A -> γ, trong đó A là một biến duy nhất.

- Văn phạm lớp 3 (Regular Grammar): Các luật sinh có dạng A -> aB hoặc A -> a, trong đó A và B là các biến, và a là một terminal.

Trong trường hợp này:

- Luật S -> aSbb vi phạm ràng buộc của văn phạm lớp 2 và lớp 3 vì vế phải chứa nhiều hơn một ký hiệu không kết thúc (S và b).

- Xét luật S -> aSbb, độ dài vế trái là 1, độ dài vế phải là 4. Luật S -> abb, độ dài vế trái là 1, độ dài vế phải là 3. Vì vậy, cả hai luật đều thỏa mãn điều kiện |α| ≤ |β| của văn phạm lớp 1.

Vì văn phạm không phải là lớp 2 hoặc lớp 3, nhưng thỏa mãn điều kiện của lớp 1, nên nó là văn phạm lớp 1.