Đáp án đúng: A
Hàm Goto(I, X) được sử dụng trong xây dựng bảng phân tích cú pháp (parsing table) cho các bộ phân tích cú pháp (parser) như SLR(1), LALR(1), và LR(1). Trong đó, I là một tập hợp các mục LR(0) hoặc LR(1), và X là một ký hiệu văn phạm (grammar symbol), có thể là ký hiệu kết thúc (terminal) hoặc ký hiệu không kết thúc (non-terminal).
Hàm Goto(I, X) trả về bao đóng (closure) của tập hợp các mục [A → xX.y] sao cho [A → x.Xy] thuộc I. Điều này có nghĩa là, nó tìm kiếm tất cả các mục trong I mà có dạng [A → x.Xy], sau đó "đẩy" dấu chấm qua ký hiệu X để trở thành [A → xX.y], và cuối cùng tính bao đóng của tập hợp các mục mới này.
Như vậy, đáp án đúng là A. Các mục A → xX.y sao cho A → x.Xy thuộc I