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
Textové pole: …
…
Textové pole: …
…
Textové pole: …
…
a
A
b
…
a
A
b
…
A
b
…
a
4/42
…
…