Question: Exercise 2 3 Incorrect Pumping Lemma proofs ( 5 points ) In the following, two Pumping Lemma proofs are given. However, these proof attempts contain

Exercise 23 Incorrect Pumping Lemma proofs
(5 points)
In the following, two Pumping Lemma proofs are given. However, these proof attempts contain some
mistakes. For this task, take the role of our tutors and figure out what mistakes have been made in
these proofs, and why what you found actually is a mistake.
(Note: The mistakes we are looking for are serious logical mistakes and not just notation nitpicking.
That said, subtasks (a) and (b) contain one mistake each, and (c) contains two or three mistakes
(depends on how you count it).)
(Note: You have to find the mistakes. It is not necessary that you write down a correct proof for these
languages, and it's also not sufficient in order to obtain points.)
(a) Proof attempt: L={akak|kinN0} is not regular
We choose the word x=anan. Then |x|=2nn and xinL. We consider all decompositions
x=uvw where |v|1,|uv|n :
u=ak,v=al,w=an-k-lan where k0,l1,k+ln
For each decomposition there exists an index i such that uviw!inL :
i=2, then uv2w=aka2lan-k-lan=an+lan!inL, since l1, therefore n+ln.
According to the Pumping Lemma L is therefore not regular.
(b) Proof attempt: L={akbl|kl,k,linN0} is not regular
We choose the word x=anbn. Then |x|=2nn and xinL. We consider all decompositions
x=uvw where |v|1,|uv|n :
u=ak,v=al,w=an-k-lbn where k0,l1,k+ln
For each decomposition there exists an index i such that uviw!inL :
i=2, then uv2w=aka2lan-k-lbn=an+lbn!inL, since l1, therefore n+ln.
According to the Pumping Lemma L is therefore not regular.
(c) Proof attempt: L={w(w)R|win**} is not regular ?1
We choose the word x=abnbna. Then |x|=2n+2n and xinL (mirror axis between the
two b-blocks). We consider all decompositions x=uvw where |v|1,|uv|n :
?1(w)R is w read backwards, i.e. here we have the set of all words that are some {a,b} sequence followed by the same
sequence in reverse, or put differently: words of even length that can be mirrored in the middle.
(the a is not in uu=,v=abn,w=bna
(the a is , in uu=abk,v=bl,w=bn-k-lbna where k0,l1,k+l+1n
For each decomposition there exists an index i such that uviw!inL :
i=0, then uv0w=bna!inL, because the word contains only one a, i.e. an odd number of
as (i.e. there is some a in the word that does not have a mirror image in the other half of
the word)
i=3, then uv3w=abkb3lbn-k-lbna=abk+3l+n-k-lbna=abn+2lbna!inL, since because of
l1 we have n+2ln
According to the Pumping Lemma L is therefore not regular.
 Exercise 23 Incorrect Pumping Lemma proofs (5 points) In the following,

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!