trờn đỉnh ngăn xếp.
trờn đỉnh ngăn xếp.
- Một nguồn thụng tin khỏc để xỏc định hành động gạt-thu gọn là k ký hiệu đầu vào tiếp theo. Thụng thườn chỳng ta xột k=0 hoặc 1. Thụng thườn chỳng ta xột k=0 hoặc 1.
- Điểm khỏc biệt giữa phương phỏp phõn tớch LR với phương phỏp phõn tớch LL là: Để cho một văn phạm là LR(k), chỳng ta phải cú khả năng xỏc định được sự xuất hiện của vế phải của một sản văn phạm là LR(k), chỳng ta phải cú khả năng xỏc định được sự xuất hiện của vế phải của một sản xuất khi đó thấy tất cả quỏ trỡnh dẫn xuất từ vế phải đú với thụng tin thờm là k ký hiệu đầu vào tiếp theo. Điều kiện này rừ ràng là chớnh xỏc hơn so với điều kiện của văn phạm LL(k) là việc sử dụng một sản xuất chỉ dựa vào k ký hiệu đầu vào tiếp theo. Chớnh vỡ vậy mà quỏ trỡnh phõn tớch LR ớt cú xung đột hơn, hay núi cỏch khỏc là văn phạm của nú rộng hơn LL rất nhiều.
2.3.4.2. Một số khỏi niệm.
1) Tiền tố khả tồn (viable prefixes)
Xõu ký hiệu trong ngăn xếp tại mỗi thời điểm của một quỏ trỡnh phõn tớch gạt - thu gọn là một tiền tố khả tồn.
Vớ dụ: tại một thời điểm trong ngăn xếp cú dữ liệu là αβ và xõu vào cũn lại là w thỡ αβw là một dạng cõu dẫn phải và αβ là một tiền tố khả tồn.
2) Mục (Item) : Cho một văn phạm G.
Với mỗi sản xuất A->xy, ta chốn dấu chấm vào tạo thành A->x .y và gọi kết quả này là một mục.
Mục A->x.y cho biết qỳa trỡnh suy dẫn sử dụng sản xuất A->xy và đó suy dẫn đến hết phần x trong sản xuất, quỏ trỡnh suy dẫn tiếp theo đối với phần xõu vào cũn lại sẽ bắt đầu từ y.
Vớ dụ: Luật sinh A ( XYZ cú 4 mục như sau : A→ •XYZ A→ X•YZ A→ XY•Z A→ XYZ•
Luật sinh A →ε chỉ tạo ra một mục A →•
3) Mục cú nghĩa (valid item)
Một mục A->β1.β2 gọi là mục cú nghĩa(valid item) đối với tiền tố khả tồn αβ1