solution

Với một trạng thái (tập mục LR(0) đã đóng) $I$ trong bảng phân tích SLR(1), hành động ACTION cho từng ký hiệu kết thúc $a$ được xác định như sau (giả sử sản xuất số 1 luôn là sản xuất mở rộng $S' \to S$):

• Nếu $[A \to \alpha \cdot a\,\beta] \in I$ với $a$ là ký hiệu kết thúc: ACTION[a] có thể shift.
• Nếu $[A \to \alpha \cdot] \in I$ (mục đầy đủ) và $A \ne S'$: với mọi $a \in FOLLOW(A)$ (cho sẵn), ACTION[a] có thể reduce theo sản xuất $A \to \alpha$.
• Nếu $[S' \to S \cdot] \in I$: ACTION[\$] là accept.

Nếu với cùng một ký hiệu $a$, có từ hai hành động khác nhau trở lên được xác định, trạng thái $I$ có xung đột (shift/reduce nếu một trong số đó là shift, reduce/reduce nếu tất cả đều là reduce nhưng theo các sản xuất khác nhau — một ô có thể vừa là shift/reduce vừa chứa nhiều reduce cùng lúc).

Cho văn phạm (sản xuất 1 luôn là $S' \to S$), tập $FOLLOW$ của các phi kết thúc liên quan, và một trạng thái $I$ (tập mục đã đóng), hãy dựng dòng ACTION tương ứng và cho biết trạng thái có xung đột hay không.

Ví dụ: với $I = \{T \to F \cdot\}$ và FOLLOW(T) = \{+, *, \, )}$: dòng ACTION có reduce theo sản xuất "$T \to F$" tại cả 4 ký hiệu `+ *$ )`, không có shift nên không xung đột.