Question

Could you please help me with this question? Consider the language C = { w ∈...

Could you please help me with this question?

Consider the language C = { w ∈ {a, b} ∗| w contains at least as many as as bs }

For example, ǫ, aaa, aba, and bbaababaa are all in C, but bbb and bbaaabb are not.

a. Construct a 3-state push-down automaton to recognise C. Provide the solution as a transition diagram.

b. Prove formally that the following context-free grammar G generates C

S → ǫ | a | a S b | b S a | S S

Hint: Proceed in two steps; prove that every string in L(G) is in C (by structural induction) and prove that every string in C is in L(G) (by induction on the length of the string).

0 0
Add a comment Improve this question Transcribed image text
Know the answer?
Add Answer to:
Could you please help me with this question? Consider the language C = { w ∈...
Your Answer:

Post as a guest

Your Name:

What's your source?

Earn Coins

Coins can be redeemed for fabulous gifts.

Not the answer you're looking for? Ask your own homework help question. Our experts will answer your question WITHIN MINUTES for Free.
Similar Homework Help Questions
ADVERTISEMENT
Free Homework Help App
Download From Google Play
Scan Your Homework
to Get Instant Free Answers
Need Online Homework Help?
Ask a Question
Get Answers For Free
Most questions answered within 3 hours.
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT