Cho văn phạm với các luật sinh sau: E->TE; E’->+T E’; E’->epsilon; T->FT'; T'- >*FT’; T’->epsilon; F->(E); F->id; FOLLOW (E’)=?

Bộ phân tích từ vựng (lexical analyzer) hay còn gọi là trình quét (scanner) có nhiệm vụ đọc mã nguồn và chuyển đổi nó thành một chuỗi các từ tố (tokens). Mỗi từ tố đại diện cho một đơn vị cú pháp cơ bản như từ khóa, định danh, toán tử, hằng số, v.v.

• Đáp án A sai vì biểu thức chính quy được dùng để mô tả mẫu của các từ tố, không phải là đầu ra.


• Đáp án B sai vì cây cú pháp là đầu ra của bộ phân tích cú pháp (parser), giai đoạn sau của quá trình biên dịch.


• Đáp án C đúng vì đầu ra của bộ phân tích từ vựng là một chuỗi các từ tố (tokens).


• Đáp án D sai vì chuỗi ký tự là đầu vào, không phải đầu ra của bộ phân tích từ vựng.

Trong ngôn ngữ C, "int" là một từ khóa được sử dụng để khai báo một biến kiểu số nguyên. Từ khóa (keyword) là những từ đã được định nghĩa sẵn trong ngôn ngữ lập trình và có ý nghĩa đặc biệt đối với trình biên dịch. Chúng không thể được sử dụng làm tên biến hoặc tên hàm do đã được hệ thống dành riêng. Trong trường hợp này, "int" cho biết biến "a" sẽ lưu trữ một giá trị số nguyên.

Giai đoạn biên dịch bao gồm:

• Phân tích từ vựng (Lexical Analysis): Chuyển đổi mã nguồn thành chuỗi các token.
• Phân tích cú pháp (Syntax Analysis): Xây dựng cây cú pháp từ các token, kiểm tra tính hợp lệ của cấu trúc chương trình.
• Phân tích ngữ nghĩa (Semantic Analysis): Kiểm tra tính đúng đắn về ngữ nghĩa của chương trình, ví dụ: kiểm tra kiểu dữ liệu, khai báo biến.
• Sinh mã trung gian (Intermediate Code Generation): Tạo ra biểu diễn trung gian của chương trình, thường là mã ba địa chỉ hoặc cây cú pháp trừu tượng.
• Tối ưu mã (Code Optimization): Cải thiện mã trung gian để tăng hiệu suất và giảm kích thước mã.
• Sinh mã đích (Code Generation): Chuyển đổi mã trung gian thành mã máy hoặc mã assembly cho một kiến trúc cụ thể.

Do đó, đáp án B là chính xác nhất.