The Gateway to Computer Science Excellence
+19 votes
910 views
  1. Construct all the parse trees corresponding to $i + j * k$ for the grammar
       $E \rightarrow E+E$
       $E \rightarrow E*E$
       $E \rightarrow id$
  2. In this grammar, what is the precedence of the two operators $*$ and $+$?
  3. If only one parse tree is desired for any string in the same language, what changes are to be made so that the resulting LALR(1) grammar is unambiguous?
in Compiler Design by Veteran (52.2k points)
edited by | 910 views
+1
$E\ ->\ idE'\\E'\ ->\ +EE'|*EE'|\ \epsilon$

Although I know there is no need of removing left recursion in case LALR parser but can the above be also the answer to part c)?
0
Same doubt.. Somebody please answer

1 Answer

+24 votes
Best answer
  1. two parse tree for i+j*k.
  2. $+$ and $*$ having same precedence..
  3. to make grammar LALR compatible give priority to $+$ over $*$ or vice versa.

following grammar is LALR(1)

$E \rightarrow  E + T$
$\qquad \mid T$
$T \rightarrow T * F$
$\qquad \mid F$
$F \rightarrow id$

by Veteran (60.5k points)
edited by
+2
could you please explain, how giving priority to + over * and vice versa makes it LALR(1) ?
+1
why hadn't you make the grammar non-left recursive? Since priority has to be given to someone, we can give it to + or *. Is this the reason?
+14
LALR parsers can parse left recursive grammar. no need to remove left recursion. Had it been LL(1) then you would have to remove..
0
for given grammar how to  construct LALR(1) grammar which is unambiguous
+2

1.how giving priority to + over * and vice versa makes it LALR(1)

 for given grammar how to  construct LALR(1) grammar

 Here there is no point removing left recursion. It is asking 

If only one parse tree is desired for any string in the same language

In this particular grammar ambiguity arises because there is no precedence or associativity defined for any non terminal. Therefore changes we will have to make is

1. Decide the precedence of + and *.

2. Decide the associativity of + and *. 

These 2 points are taken care by @Digvijay Pandey sir's answer. 

0

@tusharp i understood that for making grammar unambiguous..precedence and associativity are given but how to decide which operator should be left associative which is right and same the case of precedence??

0
Doesn't matter but we always go with the normal conventions that we follow.
0
normal conventions like?
0
Like the conventions we use in C language.

Related questions

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
50,647 questions
56,479 answers
195,421 comments
100,555 users