2
$\begingroup$

How this language is Context free?

$\mathcal{L2}=\{a^ib^jc^i \;|\;i,j\geq 1\}$ Please explain me.

1 Answers 1

7

$S\to a A c$ $A\to a A c$ $A\to bB$ $B\to bB$ $B\to \epsilon$

  • 2
    @sudhir: The answer contains a conte$x$t-free grammar which generates your language, so yes.2012-11-14