Giả sử I là một tập các mục của văn phạm G thì bao đóng closure(I) là tập các mục được xây dựng từ I theo qui tắc sau:
26/30
Giả sử I là một tập các mục của văn phạm G thì bao đóng closure(I) là tập các mục được xây dựng từ I theo qui tắc sau:
Đầ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).