Cho văn phạm S → A hoặc S-> BCD; A → BBA hoặc A->EB; B → bEc hoặc B->BC hoặc B->BDc ; C → c ; D → a hoặc D-> BDb; E → a hoặc E->bE , Follow(D)=?

Tập mục I0 ban đầu chứa luật sinh E' -> .E. Khi áp dụng Goto(I0, E), ta tìm các luật sinh có dạng A -> α.Eβ trong I0, và di chuyển dấu chấm qua E.

Trong trường hợp này, ta có E' -> .E trong I0. Khi di chuyển dấu chấm qua E, ta được E' -> E.. Tiếp theo, ta cần đóng tập mục này bằng cách thêm tất cả các luật sinh có E ở bên trái và dấu chấm ở đầu. Như vậy, ta thêm E -> .E + T và E -> .T.

Tiếp tục đóng tập mục, ta thêm các luật sinh có T ở bên trái và dấu chấm ở đầu: T -> .T * F và T -> .F.

Cuối cùng, ta thêm các luật sinh có F ở bên trái và dấu chấm ở đầu: F -> .(E) và F -> .id.

Vậy Goto(I0, E) = {E' -> E., E -> E. + T}.

Câu hỏi này liên quan đến việc xây dựng bảng phân tích cú pháp (parsing table) cho một văn phạm bằng phương pháp phân tích LR (hoặc cụ thể hơn là SLR, CLR, LALR). Cụ thể, nó yêu cầu xác định tập mục (item set) sau khi thực hiện phép Goto từ tập mục ban đầu (I0) theo một ký hiệu văn phạm, ở đây là 'T'.

Để giải quyết, ta cần:
1. Xác định I0: I0 là closure của {E' -> .E}.
Closure(I0) sẽ bao gồm tất cả các luật sinh có E ở bên phải dấu '->', tức là:
E' -> .E
E -> .E + T
E -> .T
T -> .T * F
T -> .F
F -> .(E)
F -> .id
2. Tính Goto(I0, T): Phép Goto(I0, T) sẽ dịch dấu chấm '.' qua ký hiệu 'T' trong tất cả các mục có 'T' ngay sau dấu chấm, sau đó tính closure của tập các mục mới này.
Từ I0, ta có hai mục có 'T' sau dấu chấm là: E -> .T và T -> .T * F. Do đó:
- Từ E -> .T, ta có E -> T.
- Từ T -> .T * F, ta có T -> T. * F
Closure({E -> T., T -> T. * F}) sẽ là chính nó (vì không có luật sinh nào có E hoặc T ở bên phải dấu -> bắt đầu bằng ký tự không kết thúc).
3. Đối chiếu kết quả: So sánh kết quả tính toán với các phương án đáp án.

Phân tích các đáp án:
* A: Sai. Chứa nhiều mục không liên quan đến việc Goto(I0, T).
* B: Sai. E' -> E . không phải là kết quả của Goto(I0,T).
* C: Sai. Tương tự A, chứa nhiều mục không liên quan.
* D: Đúng. Đáp án này chứa chính xác các mục thu được sau phép Goto(I0, T) và closure của nó: E -> T. và T -> T. * F

Vậy, đáp án đúng là D.

Câu hỏi yêu cầu tìm tập mục Goto(I0, F). I0 bao gồm các luật E'-> .E, E-> .E+T, E-> .T, T-> .T*F, T-> .F, F-> .(E), F-> .id. Khi tính Goto(I0, F), ta tìm các mục có dạng A-> .Fβ trong I0. Mục phù hợp là T-> .F. Dịch chuyển dấu chấm qua F, ta được T-> F.. Closure({T-> F.}) = {T-> F.}. Vậy, Goto(I0, F) = {T-> F.}. Do đó, đáp án đúng là C.

Câu hỏi yêu cầu tìm FIRST(E') trong văn phạm đã cho.

E' có hai luật sinh: E' -> +T E' và E' -> epsilon.

FIRST(+T E') = {+}.
FIRST(epsilon) = {epsilon}.

Do đó, FIRST(E') = {+, epsilon}.

Vậy, đáp án đúng là D.