Purchase Solution

Context-fee language

Not what you're looking for?

Ask Custom Question

Thank you for taking the time to look at my problem. I cannot make math symbols, thus, I will let ^ denote "raised to the power." For example, a^2 is a squared or a "raised to the power" of 2. Also, I will use the symbol * to denote multiplication. For example, 2*7=14. Okay, here is my problem:

Show that the language

L={ a^i * b^j * c^k | i>j>k} is not context free.

It is clear that I have to use the pumping lemma for context free-languages (note: do not use pumping lemma for regular languages)

I have choosen my word to be: a^p+1 * b^p * c^p-1. I think that this works , because in the first instance, you can pump down, and loss an a, or you can pump up, to gain a c. I am not sure though what to do if the substring includes a's and c's!

Also, I could use: a^p * b^p-1 *c^p-2. I am having a problem though with all of the cases. In some instances I need to pump down, and in others, I need to pump up.

Please help!

Purchase this Solution

Solution Summary

This solution is comprised of a detailed explanation to show that the language L={ a^i * b^j * c^k | i>j>k} is not context free.

Purchase this Solution


Free BrainMass Quizzes
Geometry - Real Life Application Problems

Understanding of how geometry applies to in real-world contexts

Multiplying Complex Numbers

This is a short quiz to check your understanding of multiplication of complex numbers in rectangular form.

Know Your Linear Equations

Each question is a choice-summary multiple choice question that will present you with a linear equation and then make 4 statements about that equation. You must determine which of the 4 statements are true (if any) in regards to the equation.

Graphs and Functions

This quiz helps you easily identify a function and test your understanding of ranges, domains , function inverses and transformations.

Probability Quiz

Some questions on probability