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

Để tìm Follow(B), ta cần xem xét các luật sinh có B ở vế phải:

• S -> AB

Theo định nghĩa, Follow(B) chứa tất cả các terminal có thể theo sau B trong một chuỗi dẫn xuất từ văn phạm. Trong trường hợp này, B xuất hiện ở cuối luật sinh S -> AB. Do đó, Follow(B) sẽ chứa tất cả các terminal thuộc Follow(S). Vì S là ký hiệu bắt đầu, Follow(S) chứa '$' (ký hiệu kết thúc chuỗi). Mặt khác, B có thể không xuất hiện ở cuối chuỗi dẫn xuất (ví dụ: S -> A), nên Follow(B) chỉ chứa các terminal theo sau B trong các luật sinh khác, hoặc Follow(S) nếu B ở cuối. Trong luật S -> AB, nếu A có thể dẫn xuất ra chuỗi rỗng (epsilon), thì Follow(B) sẽ chứa Follow(S). Vì A -> aA | epsilon, A có thể dẫn xuất ra epsilon. Do đó Follow(B) chứa Follow(S) = {$}

Tuy nhiên, ta cũng cần xét xem có luật sinh nào khác mà B xuất hiện ở vế phải không. Ở đây không có, nên Follow(B) = {$}

Câu hỏi yêu cầu tìm FIRST(D) trong văn phạm đã cho. FIRST(D) là tập hợp các terminal có thể xuất hiện đầu tiên khi dẫn xuất từ D.

Theo luật sinh D → a hoặc D → d, các terminal có thể xuất hiện đầu tiên khi dẫn xuất từ D là 'a' và 'd'. Ngoài ra, vì D có thể dẫn xuất ra 'a' hoặc 'd' trực tiếp nên tập FIRST(D) không chứa epsilon. Do đó, FIRST(D) = {a, d}.

Tuy nhiên, cần xem xét thêm các luật dẫn xuất. Vì D có thể dẫn xuất ra a hoặc d, nên FIRST(D) = {a, d}. Các đáp án A, B và D đều không chính xác.

Đáp án C là { a, d, epsilon }, tuy nhiên, D không dẫn xuất ra epsilon, nên epsilon không thuộc FIRST(D)

Trong trường hợp này, không có đáp án nào đúng, tuy nhiên đáp án C là gần đúng nhất nếu bỏ epsilon

Để tìm FOLLOW(C), ta xét các luật sinh có C ở vế phải.

• A → BC
• A → DBC

Từ A → BC, theo định nghĩa FOLLOW, FOLLOW(C) chứa FOLLOW(A).

Từ A → DBC, theo định nghĩa FOLLOW, FOLLOW(C) chứa FOLLOW(A).

Ta cần tìm FOLLOW(A):

• S → A, suy ra FOLLOW(A) chứa $ (ký hiệu kết thúc chuỗi).

Vậy FOLLOW(C) = { $ }.