Operator-Precedence Parser
• No two distinct nonterminals
have the same handle
• No e-rules.
a1
...
...


Table[ai , aj ] Î {<, =, >, blank}
Precedence-table:
• Let G = (N, T, P, S) be CFG, where T = {a1, a2, … , an}
ai
an
$
a1
...
...
aj
an
$
S
a < b
Illustration
of meaning of <, =, >:
a = b
a > b
S
S

…
…
…
a
A
b
…
a
A
b
…
A
b
…
a
4/42
…
…