Question: Consider the following CF G G: S - > SS | T T - > aT b | ab What is the language G generates

Consider the following CF G G:
S -> SS | T
T -> aT b | ab
What is the language G generates [2 marks]
Show that G is ambiguous [4 marks]
Give an unambiguous grammar H where L(G)= L(H)[4 marks]
Sketch a proof that H is unambiguous.

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!

Q:

Consider the following grammar G over alphabet = { a , b } with start variable S: Provide a clear and concise description of the language of strings that can be derived from U ( 2 marks ) and from T...

Q:

2. (10 pts) Consider the following graph. G (V, E), V-(a, b, c, d, e, f, g, h, i a,b), (a,d), (a,e), (b,c), (c,e), (c,f), (d,e), (d,g), (d,h), (e,f), (eh), (e,i) (g,h), (h,i)} It is edge-weighted by...

Q:

Problem 3. (10 points) Consider the following CFG G: Y0Y1 101 a) What is the language generated by G? b) Show that G is ambiguous. c) Give an unambiguous grammar that generates the language of G. d)...

Q:

1 . ) 1 9 points Prove the following language is not context - free. L = { wxw | w in { a , b } , x in c , and | w | = 2 | x | } 2 . ) 5 points Consider the following CFG , G . S - > aXb | bY c | SS...

Q:

1 . ) 1 9 points Prove the following language is not context - free. L = { wxw | w in { a , b } , x in c , and | w | = 2 | x | } 2 . ) 5 points Consider the following CFG , G . S - > aXb | bY c | SS...

Q:

Give Correct ANSWERS Human-Computer Interaction (a) If you had been one of the original inventors of the WIMP interface, and engineers on the technical team had been sceptical about the advantages...

Q:

re Regular Languages and Finite Automata (a) Let L be the set of all strings over the alphabet {a, b} that end in a and do not contain the substring bb. Describe a deterministic finite automaton...

Q:

Briefly describe ASCII and Unicode and draw attention to any relationship between them. [3 marks] (b) Briefly explain what a Reader is in the context of reading characters from data. [3 marks] A...

Q:

In this question you will be asked to reflect on a project you have been involved in or observed, in which a design evolved, or could have evolved, through applying a theory of user behaviour. You...

Q:

Consider the trigonometric series a0 2 + X r=1 (ar cos rx + br sin rx) where a0, a1, a2, . . . and b1, b2, . . . are constants and suppose that f(x) is a periodic function of x with period 2. (a)...

Q:

Note whether hydrolysis occurs for each of the following ions. If hydrolysis does occur, write the chemical equation for it. Then write the equilibrium expression for the acid or base ionization...

Q:

1. Download 10 years worth of end-of-month prices from Yahoo Finance* for the following tickers: MSFT, C, F, XOM, DUK For MSFT, you can use the link https://finance.yahoo.com/quote/MSFT/history. Do...

Q:

The texaS assessment program survey documents 2 0 0 8 district names

Q:

5. Develop a scenario comparing two PH programs and involving the use of a CBA.

Q:

1 Is there a relationship between cultural values in specific countries (e.g. collectivism, power distance, instrumentalism, humanism) and the way (indigenous) organizations respond to changes in...

Q:

4 For managers to operate effectively they need to learn to think more strategically and outside ordinary line responsibilities of operational fire fighting. This type of project work can facilitate...

Q:

3 As there is a continuing need for this type of working across borders and cultures, thought should be given to common decision premises based on the managing of different cultures, value systems,...