Trong biểu đồ chuyển chỉ được phép có trạng thái kết thúc:

Dịch biến trỏ trên xâu vào sang phải một ký hiệu

Dịch biến trỏ trên xâu vào sang trái một ký hiệu C. Dịch biến trỏ trên danh sách đẩy xuống thứ nhất D1 sang trái một ký hiệu

Dịch biến trỏ trên danh sách đẩy xuống thứ hai D2 sang một ký hiệu

- (id + id)

+id+id+

id*id- (id + id)

+(id + id)

Dễ cài đặt nhất

Khó cài đặt nhất

Hiệu quả nhất

Đệ quy

Đầ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)

4

5

6

7

“x”, “y”, và “z” là các biến của một chương trình viết bằng ngôn ngữ C

“x”, “y”, và “z” là các từ tố định danh

“x”, “y”, và “+” là các từ tố định danh

“x”, “y”, và “+” là các biến của một chương trình viết bằng ngôn ngữ C

4

3

2

1

L = {aaaa,aabb,bbaa,bbbb}

L = {abab,abaa,aaab,baaa}

L = {aaab,baba,bbaa,bbbb}

L = {aaaa,abab,bbaa,aaab}

Văn phạm lớp 3

Văn phạm lớp 2

Văn phạm lớp 1

Văn phạm lớp 0

{x,y}

{xy}

{x}

{y}