Cho một văn phạm G, Mục LR(0) văn phạm là một luật sinh của G

Với một dấu chấm mục tại vị trí nào đó trong vế phải.

Với một dấu chấm mục tại vị trí nào đó trong vế trái.

Với một dấu + mục tại vị trí nào đó trong vế trái.

Với một dấu - mục tại vị trí nào đó trong vế phải.

Trả lời:

Đáp án đúng: A

Mục LR(0) của một văn phạm G là một luật sinh của G với một dấu chấm ('.') tại vị trí nào đó trong vế phải của luật sinh đó. Dấu chấm này biểu thị vị trí hiện tại trong quá trình phân tích cú pháp, cho biết phần nào của luật sinh đã được xử lý và phần nào còn lại.

200+ câu hỏi trắc nghiệm Chương trình dịch có lời giải theo từng bước - Phần 1

50 câu hỏi 60 phút

Bắt đầu thi

Câu hỏi liên quan

Câu 13:

Phân tích cú pháp dự đoán không đệ qui cần:

Lời giải:

Đáp án đúng: A

Phân tích cú pháp dự đoán không đệ quy (hay còn gọi là phân tích cú pháp LL(1)) sử dụng một stack để lưu trữ các ký hiệu chưa kết thúc và các ký hiệu kết thúc cần khớp với chuỗi đầu vào. Nó không sử dụng đệ quy ngầm định thông qua các lời gọi hàm đệ quy như trong phân tích cú pháp đệ quy xuống dòng. Thay vào đó, nó dựa vào một bảng phân tích (parsing table) để xác định hành động cần thực hiện dựa trên ký hiệu ở đỉnh stack và ký hiệu đầu vào hiện tại.

Phương án A mô tả chính xác đặc điểm này.

Phương án B sai vì phân tích cú pháp dự đoán không đệ quy không sử dụng đệ quy ngầm định.

Phương án C không hoàn toàn chính xác. Mặc dù bảng phân tích được thiết kế dựa trên văn phạm, nó không chỉ dành riêng cho các ký hiệu chưa kết thúc. Bảng phân tích bao gồm cả ký hiệu kết thúc và chưa kết thúc.

Phương án D không liên quan trực tiếp đến yêu cầu của phân tích cú pháp dự đoán không đệ quy. Dạng luật sinh được đề cập liên quan đến việc khử đệ quy trái.

Câu 14:

Phương pháp phân tích cú pháp “Shift reduce” là

Lời giải:

Đáp án đúng: B

Phương pháp phân tích cú pháp "Shift reduce" là một phương pháp phân tích từ dưới lên. Trong phương pháp này, chúng ta bắt đầu từ các token (từ vựng) của ngôn ngữ và cố gắng "shift" (đẩy) chúng vào một stack, sau đó "reduce" (rút gọn) các token trên stack thành các non-terminal theo các luật sinh của ngữ pháp. Quá trình này tiếp tục cho đến khi stack chỉ còn lại non-terminal gốc (start symbol), hoặc không thể thực hiện thêm thao tác nào nữa. Vì vậy, đáp án B là đáp án chính xác.

Đáp án D "Phân tích thu gọn" là một cách diễn đạt khác của phân tích từ dưới lên, tuy nhiên đáp án B chính xác hơn khi chỉ rõ đây là phương pháp "từ dưới lên". Đáp án A "Phân tích từ trên xuống" là một phương pháp khác biệt, bắt đầu từ non-terminal gốc và cố gắng suy dẫn ra chuỗi token. Đáp án C không đúng vì phương pháp Shift reduce chỉ thuộc loại phân tích từ dưới lên.

Câu 15:

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

Lời giải:

Đáp án đúng: C

Trong câu lệnh x = 1.5*y + 3.2, quá trình phân tích từ vựng sẽ tách các thành phần sau:

x: Định danh (biến)

=: Toán tử gán

1.5: Hằng số thực

*: Toán tử nhân

y: Định danh (biến)

+: Toán tử cộng

3.2: Hằng số thực

Như vậy, có hai từ tố số thực là 1.5 và 3.2.

Câu 16:

Trong chương trình nguồn (ngôn ngữ C): printf(“ max cua hai so %d”, max) có bao nhiêu từ tố định danh?

Lời giải:

Đáp án đúng: B

Trong đoạn mã printf(“ max cua hai so %d”, max), ta cần xác định số lượng định danh (identifier). Định danh là tên do người lập trình đặt cho các biến, hàm, kiểu dữ liệu,... Trong đoạn mã này, max là một định danh, nó có thể là tên của một biến chứa giá trị lớn nhất của hai số. Các thành phần khác như printf là tên hàm (được định nghĩa sẵn trong thư viện), và " max cua hai so %d" là một chuỗi ký tự (string literal), không phải là định danh. Do đó, chỉ có một định danh duy nhất là max.

Câu 17:

Một ngôn ngữ là chính quy nếu và chỉ nếu

Lời giải:

Đáp án đúng: A

Một ngôn ngữ được gọi là chính quy (Regular Language) nếu và chỉ nếu nó có thể được chấp nhận bởi một máy hữu hạn trạng thái xác định (Deterministic Finite Automaton - DFA). Các loại máy khác như PDA, LBA, và máy Turing chấp nhận các lớp ngôn ngữ rộng hơn, không chỉ ngôn ngữ chính quy.

DFA (Deterministic Finite Automaton): Chấp nhận ngôn ngữ chính quy.

PDA (Pushdown Automaton): Chấp nhận ngôn ngữ phi ngữ cảnh (Context-Free Language).

LBA (Linear Bounded Automaton): Chấp nhận ngôn ngữ ngữ cảnh phụ thuộc (Context-Sensitive Language).

Máy Turing: Chấp nhận ngôn ngữ đệ quy liệt kê được (Recursively Enumerable Language).

Do đó, đáp án đúng là A.

Câu 18:

Biểu thức nào không phải là biểu thức chính quy?

Lời giải: