Go backward to Some Implementation Details
Go up to Top
The Correctness of LR(0) parsing
- The correctness of the LR(0) parsers we have discussed rests
on the theorem:
- Theorem
- [ N
1 . 2 ] 
( 
0,
) iff [ N
1 . 2 ] is valid for
.
Computer Science 434
Department of Computer Science
Williams College