0

I have a problem where I am asked to explain why the language that has words made of $a$ and $b$ such that the number of $a$'s is equal to the number of $b$'s, can be generated by a context free grammar. I am not sure of what is asked here, will finding such a grammar work? What should I do?

Raphael
  • 72,336
  • 29
  • 179
  • 389
Dimtsol
  • 111
  • 2

1 Answers1

0

Usually, to prove that some language is a CFL (which is equal as asking whether it is generated by some CFG) you can show:

  1. It is generated by some CFG. Proving is usually done by induction, where one direction is an induction on the number of derivation steps, and the other direction is usually an induction on the length of the word.
  2. Showing a PDA that accepts the language.
  3. Using closure properties of CFL, and generate the language from some finite number of CFL/regular languages using closure properties (like concatenation, union, etc..)
Mickey
  • 563
  • 4
  • 14
  • Welcome, and thanks for taking the time to answer! You may want to make yourself familiar with our list of reference questions which we have assembled to avoid having to answer the same questions over and over again. See you around! – Raphael Jan 23 '18 at 11:53