B = {anbmcn | m, n ≥ 0}
Prove that the following language is not regular using the pumping lemma.
![a.
B = {a¹bmcn | m, n ≥ 0}](/v2/_next/image?url=https%3A%2F%2Fcontent.bartleby.com%2Fqna-images%2Fquestion%2F672bf286-8abe-4b07-9ca1-0d5b2612956c%2F282dfbf0-eb93-4f34-bb9f-7d6273267738%2F4zpxdo_processed.png&w=3840&q=75)
![](/static/compass_v2/shared-icons/check-mark.png)
To prove that the language B = {a^nb^mc^n | m, n > 0} is not regular. To do this, we use the pumping lemma for regular languages, which is a powerful tool for proving that a language is not regular.
Here are the steps of the proof in more detail:
1. Assume that B is a regular language and let p be the pumping length. The pumping length is a constant that is guaranteed to exist if B is regular.
2. Consider the string w = a^pb^pc^p. This string is in B and has length |w| = 3p ≥ p. Since w is a member of B and its length is greater than or equal to the pumping length p, we can apply the pumping lemma to w.
3. According to the pumping lemma, we can write w as w = xyz, where |xy| ≤ p and |y| > 0.
This means that the string y contains at least one symbol from the set {a}. We can write x as a^k and y as a^l (where 1 ≤ l ≤ p). We can then write z as a^(p-k-l)b^pc^p.
Step by step
Solved in 2 steps
![Blurred answer](/static/compass_v2/solution-images/blurred-answer.jpg)
![Advanced Engineering Mathematics](https://www.bartleby.com/isbn_cover_images/9780470458365/9780470458365_smallCoverImage.gif)
![Numerical Methods for Engineers](https://www.bartleby.com/isbn_cover_images/9780073397924/9780073397924_smallCoverImage.gif)
![Introductory Mathematics for Engineering Applicat…](https://www.bartleby.com/isbn_cover_images/9781118141809/9781118141809_smallCoverImage.gif)
![Advanced Engineering Mathematics](https://www.bartleby.com/isbn_cover_images/9780470458365/9780470458365_smallCoverImage.gif)
![Numerical Methods for Engineers](https://www.bartleby.com/isbn_cover_images/9780073397924/9780073397924_smallCoverImage.gif)
![Introductory Mathematics for Engineering Applicat…](https://www.bartleby.com/isbn_cover_images/9781118141809/9781118141809_smallCoverImage.gif)
![Mathematics For Machine Technology](https://www.bartleby.com/isbn_cover_images/9781337798310/9781337798310_smallCoverImage.jpg)
![Basic Technical Mathematics](https://www.bartleby.com/isbn_cover_images/9780134437705/9780134437705_smallCoverImage.gif)
![Topology](https://www.bartleby.com/isbn_cover_images/9780134689517/9780134689517_smallCoverImage.gif)