Cho văn phạm gồm 6 luật sinh: (1) S->AB; (2) A->A0; (3) A->B0; (4) A->1; (5) B- >A1; (6) B->0. FIRST(S)=?

Trong phương pháp phân tích dự đoán không đệ quy (Predictive Parsing), Stack (ngăn xếp) đóng vai trò quan trọng trong việc lưu trữ các ký hiệu cần xử lý.

Phân tích dự đoán không đệ quy sử dụng một bảng phân tích (parsing table) và một stack. Stack được khởi tạo bằng ký hiệu bắt đầu của văn phạm và ký hiệu kết thúc '$' ở đáy. Trong quá trình phân tích, các ký hiệu kết thúc và không kết thúc từ văn phạm được đưa vào stack. Ký hiệu '$' đánh dấu đáy của stack và báo hiệu khi quá trình phân tích kết thúc thành công.

Do đó, phương án D. Chứa một chuỗi các ký hiệu văn phạm với ký hiệu $ nằm ở đáy Stack. là đáp án đúng nhất.

Ôtômát hữu hạn trạng thái (Finite State Automata – FSA) là một mô hình tính toán được sử dụng rộng rãi trong nhiều lĩnh vực của khoa học máy tính. Trong ngữ cảnh của trình biên dịch, FSA đặc biệt hữu ích trong việc phân tích từ vựng (lexical analysis).

* A. Phân tích từ vựng: Đây là đáp án chính xác. Phân tích từ vựng là giai đoạn đầu tiên của quá trình biên dịch, trong đó mã nguồn được chia thành các đơn vị từ vựng (tokens) như từ khóa, định danh, toán tử, và hằng số. FSA được sử dụng để nhận diện các mẫu ký tự hợp lệ và tạo ra các tokens tương ứng.
* B. Phân tích cú pháp: Phân tích cú pháp (parsing) là giai đoạn tiếp theo sau phân tích từ vựng, trong đó các tokens được tổ chức thành một cấu trúc cây cú pháp (syntax tree) để kiểm tra tính đúng đắn của cấu trúc chương trình. Các công cụ mạnh hơn như context-free grammars (CFG) và pushdown automata (PDA) thường được sử dụng cho phân tích cú pháp, thay vì FSA.
* C. Sinh mã: Sinh mã (code generation) là giai đoạn cuối cùng của quá trình biên dịch, trong đó mã trung gian hoặc mã máy được tạo ra từ cây cú pháp. FSA không được sử dụng trực tiếp trong giai đoạn này.
* D. Tối ưu mã: Tối ưu mã (code optimization) là giai đoạn cải thiện hiệu suất của mã bằng cách loại bỏ các phần dư thừa, thay thế các phép toán tốn kém bằng các phép toán rẻ hơn, và sắp xếp lại mã để tận dụng tối đa phần cứng. FSA không được sử dụng trực tiếp trong giai đoạn này.

Vì vậy, đáp án đúng là A.

Phân tích ngữ nghĩa là quá trình kiểm tra xem câu lệnh có ý nghĩa trong ngữ cảnh của ngôn ngữ lập trình hay không. Trong trường hợp này, câu lệnh `position = initial + rate * 10` là một phép gán giá trị. Để phép gán này hợp lệ, các biến `position`, `initial`, và `rate` phải có kiểu dữ liệu số học (số nguyên hoặc số thực). Vì `10` là một số nguyên, và phép nhân giữa một số thực và một số nguyên cho kết quả là một số thực, nên `position`, `initial`, và `rate` có thể là số thực hoặc số nguyên. Nếu chúng là kiểu chuỗi thì phép cộng và phép nhân sẽ không có nghĩa.