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 nonterminal 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 nonterminal, and X 1 . . . X n are symbols (terminal or nonterminal). You need to show that the right end of the next handle must be to the right of nonterminal 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
 Kremer,U.

Click to edit the document details