The Gateway to Computer Science Excellence
+16 votes
1.4k views

Consider the CFG with $\left\{S, A, B\right\}$ as the non-terminal alphabet, $\{a, b\}$ as the terminal alphabet, $S$ as the start symbol and the following set of production rules:

$S \rightarrow aB$            $S \rightarrow bA$

$B \rightarrow b$               $A \rightarrow a$

$B \rightarrow bS$           $A \rightarrow aS$

$B \rightarrow aBB$      $S \rightarrow bAA$

For the string $aabbab$, how many derivation trees are there?

  1. $1$
  2. $2$
  3. $3$
  4. $4$
in Compiler Design by Veteran (105k points)
edited by | 1.4k views
0
0
@Praveen Saini is there any method we can find directly without using trial and error method for finding number of derivation trees.
0
AFAIK , there is no direct way.

But I think It is possible by modification in CYK (if try)

2 Answers

+26 votes
Best answer
$S \rightarrow aB$
    $ \rightarrow aaBB$
    $ \rightarrow aabB$
    $ \rightarrow aabbS$
    $ \rightarrow aabbaB$
    $ \rightarrow aabbab$

$S \rightarrow aB$
    $ \rightarrow aaBB$ (till now, only 1 choice possible)
    $ \rightarrow aabSB$ (last time we took $B \rightarrow b$, now taking $B \rightarrow bS$)
    $ \rightarrow aabbAB$
    $ \rightarrow aabbaB$
    $ \rightarrow aabbab$

So, totally $2$ possible derivation trees.

Correct Answer: $B$
by Veteran (425k points)
edited by
+11
sir by using trial and error method for finding number of derivation trees there may be chances that we missed out some. can you suggest something else
+2

I don't think that there will  be algorithm to find number of parse tress given a grammar.If it would have been possible, then problem whether a CFG G is ambiguous would be decidable which is already proven to be undecidable. 

@Arjun can this be the reasoning for not having any method to derive number of parse trees given a grammar G.

0 votes
the given grammer will generate equal numbee rof a's and b's .The 1st production will generate an extraa a then lead to other production that generate an extraa b thus equalizing number of a's and b's. and vice versa.
To see all possible derivations just try to cnstruct parse tree by taking decision each time the derivation is as follows: S->aB;B->aBB; now 1we can derive the given string by choosing 1st B to derive a b so that other B can derive S which then give ab(since the rest part contains equal number of a's and b;s we generaate it by moving to the starting symbol) uniquely similarly you can give values interchange. so 2 parse tree.
by Active (1.8k points)

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,644 questions
56,517 answers
195,582 comments
101,143 users