This preview shows page 1. Sign up to view the full content.
Unformatted text preview: Problem 3 – LR Grammars Prove that the right end of the current handle has to be at the same position as the previous handle, or to the right of the previous handle. Without loss of generality, assume that a reduction for a rule for non-terminal A has just been performed, i.e., we successfully derived the right sentential form X 1 X 2 . . . X n A y ⇒ * R xy where xy is the input word, A is a non-terminal, and X 1 . . . X n are symbols (terminal or non-terminal). You need to show that the right end of the next handle must be to the right of non-terminal A. Hint: Use proof by contradiction....
View Full Document
This note was uploaded on 10/29/2010 for the course CS 198:415 taught by Professor Kremer,u. during the Spring '10 term at Rutgers.
- Spring '10