Context Free Language Question (Pumping Lemma)

Posted by Maixy on Stack Overflow See other posts from Stack Overflow or by Maixy
Published on 2010-04-08T02:12:02Z Indexed on 2010/04/08 2:43 UTC
Read the original article Hit count: 303

Filed under:

automata

|

theory

|

language-theory

|

proof

|

homework

I know this isn't directly related to programming, but I was wondering if anyone know how to apply the pumping lemma to the following proof:

Show that L={(a^n)(b^n)(c^m) : n!=m} is not a context free language

I'm pretty confident with applying pumping lemmas, but this one is really irking me. What do you think?

© Stack Overflow or respective owner

Related posts about automata

Make a steady automata in javascript

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm working on a javascript game and I've got an automata system controlling game time and sprite animation as well as giving a hand to the path finding system for timing and such. My problem is on slow browsers the javascript loop I'm using for counting the time is not very accurate. It tends to… >>> More
Language to grammar in this automata

as seen on Stack Overflow - Search for 'Stack Overflow'
help me to solve this problem anbncn where n=1 >>> More
Problem with creating a deterministic finite automata (DFA) - Mercury

as seen on Programmers - Search for 'Programmers'
I would like to have a deterministic finite automata (DFA) simulated in Mercury. But I’m s(t)uck at several places. Formally, a DFA is described with the following characteristics: a setOfStates S, an inputAlphabet E <-- summation symbol, a transitionFunction : S × E -- S, a startState… >>> More
How can I make a steady automata in JavaScript?

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm working on a JavaScript game and I've got an automata system controlling game time and sprite animation as well as giving a hand to the path finding system for timing and such. My problem is on slow browsers the JavaScript loop I'm using for counting the time is not very accurate. It tends to… >>> More
A compiler for automata theory

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm designing a programming language for automata theory. My goal is to allow programmers to use machines (DFA, NFA, etc...) as units in expressions. I'm confused whether the language should be compiled, interpreted, or jit-compiled! My intuition is that compilation is a good choice, for some operations… >>> More

Related posts about theory

Why does NUnit ignore datapoints when using generics in a theory

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm trying to make use of the TheoryAttribute, introduced in NUnit 2.5. Everything works fine as long as the arguments are of a defined type: [Datapoint] public double[,] Array2X2 = new double[,] { { 1, 0 }, { 0, 1 } }; [Theory] public void TestForArbitraryArray(double[,] array) { // ... } It… >>> More
How do you deal with translating theory into practice?

as seen on Programmers - Search for 'Programmers'
Hello all! Being a computer scientist in a research field I am often tasked with working alongside professionals outside of the software domain (think math people, electrical engineer etc), and then translating their theories and ideas into real-world implementations. I often find it difficult when… >>> More
Title Tag Optimization - Common Grounds Between Raw SEO Theory & Search Engine Marketing Priorities

as seen on Ezine Articles - Search for 'Ezine Articles'
All you have to know about how to properly optimize title tag if you're just starting an onpage optimization campaign. Plus some easy to implement marketing tips to attract endless visitors to your content. >>> More
Database theory - relationship between two tables

as seen on Stack Overflow - Search for 'Stack Overflow'
I have a database with two tables - let's call them Foo and Bar. Each foo may be related to any number of bars, and each bar may be related to any number of foos. I want to be able to retrieve, with one query, the foos that are associated with a certain bar, and the bars that are associated with a… >>> More
Recommended book about parallel programming - theory & best practice?

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm looking for a book or books about multicore, multithreaded programming. The perfect book should focus on best practices and maybe include a bit of theory background. I'm not interested in a book which only describes a single library and focuses on its API. OS actually doesn't matter. >>> More