200+ câu trắc nghiệm Chương trình dịch có đáp án - Phần 2

10.00

10.0001

10.0002

10.0

Kỳ đầu (Front end), kỳ sau (Back end)

Kỳ đầu, kỳ giữa, kỳ sau

Kỳ đầu, kỳ giữa, kỳ sau, kỳ cuối

Kỳ đầu, kỳ sau, kỳ cuối

Ngôn ngữ được đặc tả bởi các ký hiệu kết thúc. Phân tích cú pháp dựa vào luật sinh để xây dựng cây phân tích cú pháp.

Ngôn ngữ được đặc tả bởi các ký hiệu không kết thúc. Phân tích cú pháp dựa vào luật sinh để xây dựng cây phân tích cú pháp.

Ngôn ngữ được đặc tả bởi các luật sinh. Phân tích cú pháp dựa vào luật sinh để xây dựng cây phân tích cú pháp.

Ngôn ngữ được đặc tả bởi các ký hiệu kết thúc và không kết thúc. Phân tích cú pháp dựa vào luật sinh để xây dựng cây phân tích cú pháp.

60, position, :=, initial, +, rate, *

position, :=, initial, +, rate, *, 60

=, position, initial, +, rate, *, 60

initial, position, :=, +, rate, *, 60

X, Y, Z

Z, Y, X

Y, Z, X

Z, X

9 5 – 2 +

+ 9 5 – 2

– 9 5 2 +

2 9 5 - +

9 5 – 2 +

9 5 2 + -

– 9 5 2 +

2 9 5 - +

Bắt đầu từ nút con bên phải, thăm lần lượt (đệ qui) các con của mỗi nút theo thứ tự từ trái sang phải rồi lên nút gốc.

Bắt đầu từ nút gốc, thăm lần lượt (đệ qui) các con của mỗi nút theo thứ tự từ phải sang trái.

5

4

3

2

5

4

3

2

Chương trình nguồn

Các từ vựng và biến sử dụng trong chương trình

Các từ tố

Các qui tắc ngữ pháp

Tối ưu mã trung gian

Sinh mã trung gian, tối ưu mã trung gian, sinh mã đích

Tối ưu mã trung gian, sinh mã đích

Sinh mã đích

Phải xác định trong ngôn ngữ lập trình có các từ khoá nào.

Đúng

Sai

Tuỳ trong trường hợp

Chỉ đúng khi trạng thái kết thúc có dấu *.

Một phân tích trái đối với xâu vào.

Một phân tích phải đối với xâu vào.

Một phân tích trái đối với xâu vào nếu tồn tại hoặc đưa ra thông báo sai.

Thông báo “Thành công”

Dịch biến trỏ trên xâu vào sang phải một ký hiệu

Dịch biến trỏ trên danh sách đẩy xuống thứ hai D2 sang một ký hiệu

A->AX

A->XA

A->By (y là một xâu)

A->+Ay (y là một xâu)

Lỗi nhập dữ liệu.

Lỗi từ vựng

Lỗi cú pháp.

Lỗi ngữ nghĩa

- (id + id)

+id+id+

id*id- (id + id)

+(id + id)

(id + id)

+id+id+

id*id- (id + id)

+(id + id)

Văn phạm phi ngữ cảnh

Văn phạm mơ hồ

Văn phạm LL(1)

Văn phạm LR(1)

Simple LR

Canonical LR

Lookahead-LR

Ba phương pháp: Simple LR, Lookahead-LR, Canonical LR

Dễ cài đặt nhất

Khó cài đặt nhất

Hiệu quả nhất

Đệ quy

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.

S->S’

S’->S

S->aS’b

S->aS’

Đầu tiên là tất cả các mục của I được thêm cho closure(I). Sau đó nếu A → x.By thuộc closure(I) và B → z là một luật sinh thì thêm B → . z vào closure(I) nếu nó chưa có trong đó. Lặp lại bước này cho đến khi không thể thêm vào closure(I) được nữa.

Nếu A → x.By thuộc closure(I) và B → z là một luật sinh thì thêm B → . z vào closure(I) nếu nó chưa có trong đó.

Nếu A → x.By thuộc closure(I) và tồn tại B → z thì thêm B → z vào closure(I).

Nếu A → x.By thuộc closure(I) và tồn tại B → z thì loại A → x.By khỏi closure(I).

Các mục A → xX.y sao cho A → x.Xy thuộc I

Các mục A → x.Xy sao cho A → xX.y thuộc I

Các mục A → xX.y thuộc I

Các mục A → x.Xy thuộc I

Phân tích cú pháp từ trên xuống có thể được xem như một nỗ lực tìm kiếm một dẫn xuất trái nhất cho chuỗi nhập.

Phân tích cú pháp từ trên xuống là một quá trình xây dựng cây phân tích cú pháp bắt đầu từ nút gốc và phát sinh dần xuống lá

Một dạng tổng quát của kỹ thuật phân tích từ trên xuống, gọi là phân tích cú pháp đệ quy lùi

Một dạng tổng quát của kỹ thuật phân tích từ trên xuống, gọi là phân tích cú pháp đệ quy tiến

Duy trì một Stack và không cần ngầm định qua các lời gọi đệ quy.

Ngầm định qua các lời gọi đệ quy.

Được thiết kế dựa trên sơ đồ dịch cho các ký hiệu chưa kết thúc trong văn phạm

Các luật sinh dạng A->aA; A->b

Giả sử x là một chuỗi các ký hiệu văn phạm, FIRST(x) là tập hợp các ký hiệu kết thúc mà nó bắt đầu một chuỗi dẫn xuất từ x.

Nếu X là kí hiệu chưa kết thúc thì FIRST(X) là {X}

Giả sử x là một chuỗi các ký hiệu văn phạm, FIRST(x) là tập hợp các ký hiệu không kết thúc mà nó bắt đầu một chuỗi dẫn xuất từ x.

Nếu X là kí hiệu kết thúc thì FIRST(X) là {X}