Goto(I, X), trong đó I là một tập các mục và X là một ký hiệu văn phạm là bao đóng của tập hợp

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