$X$ is nonterminal and the parse table provides the $i$th production rule $X\to \alpha ,\alpha$ at entry ($X$,$a$)

push request for semantics action $i$, requests for intermediate semantics actions, and $\alpha$ into syntaxStack in reverse order

$X=a$ for terminal $a$

push the semantics value of $a$ into infoStack and scan a new lookahead token $a$

$X=i$ stands for a production rule number

invoke semantics action $i$: (1) create code, (2) replace in infoStack the topmost $\left|\alpha \right|$ entries with the semantics value of $A$, if $A\to \alpha$ is the $i$th production rule

$X=\text{ \$}$ and $a=\text{ \$}$

declare success and halt

otherwise

declare error