Trong phương pháp “Phân tích dự đoán không đệ qui”, khẳng định nào sau đây đúng nhất đối với STACK (ngăn xếp)

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

Phân tích để tìm First(S):

1. Luật sinh (1): S -> AB
- Để tìm First(S), ta cần tìm First(A) và First(B).

2. Luật sinh (2): A -> 0A
- Luật này cho thấy '0' có thể là phần tử đầu tiên của A.

3. Luật sinh (3): A -> 1
- Luật này cho thấy '1' cũng có thể là phần tử đầu tiên của A.
- Vậy, First(A) = {0, 1}

4. Luật sinh (4): B -> 1A
- Luật này cho thấy '1' có thể là phần tử đầu tiên của B.

5. Luật sinh (5): B -> 0
- Luật này cho thấy '0' cũng có thể là phần tử đầu tiên của B.
- Vậy, First(B) = {0, 1}

Vì S -> AB, First(S) sẽ chứa tất cả các phần tử trong First(A). Do đó, First(S) = {0, 1}.

Vậy đáp án đúng là C. {0, 1}