![]() | ![]() | ![]() | The Correctness of LR(0) parsing |
[N -> 1 .
2 ]
(
0,
)
only if
[ N
1 .
2 ] is valid for
.
Lemma 1: Given a set of LR(0) items valid for some
(Vn U Vt)*, all items in closure(
) are
valid for
.
Lemma 2:
For kernel items,
[N -> 1 .
2 ]
(
0,
)
only if
[ N
1 .
2 ] is valid for
.
![]() | ![]() | ![]() | The Correctness of LR(0) parsing |