More Applications of The Pumping Lemma
More Applications of The Pumping Lemma
of
1
The Pumping Lemma:
• Given a infinite regular language L
• there exists an integer m
• for any string w L with length | w| m
• we can write w x y z
• with | x y | m and | y | 1
• such that: xy z L
i i 0, 1, 2, ...
2
Non-regular languages L {vv : v *}
R
Regular languages
3
Theorem: The language
L {vv : v *}
R
{a, b}
is not regular
4
L {vv : v *}
R
Since L is infinite
we can apply the Pumping Lemma
5
L {vvR : v *}
length | w| m
We pick wa b b a m m m m
6
Write a b b a xyz
m m m m
m m m m
xyz a...aa...a...ab...bb...ba...a
x y z
Thus: y a , k 1
k
7
x y za b b a
m m m m
y a , k 1
k
i 0, 1, 2, ...
Thus: xy z L
2
8
x y za b b a
m m m m
y a , k 1
k
m+k m m m
2
xy z = a...aa...aa...a...ab...bb...ba...a ∈ L
x y y z
m k m m m
Thus: a b b a L
9
m k m m m k 1
a b b a L
m k m m m
a b b a L
CONTRADICTION!!!
10
Therefore: Our assumption that L
is a regular language is not true
11
Non-regular languages
n l n l
L {a b c : n, l 0}
Regular languages
12
Theorem: The language
L {a nbl cnl : n, l 0}
is not regular
13
n l n l
L {a b c : n, l 0}
Since L is infinite
we can apply the Pumping Lemma
14
n l n l
L {a b c : n, l 0}
Let m be the integer in the Pumping Lemma
length | w| m
We pick wa b c m m 2m
15
Write
m m 2m
a b c xyz
m m 2m
xyz a...aa...aa...ab...bc...cc...c
x y z
Thus: y a , k 1
k
16
x y za b c
m m 2m
y a , k 1
k
i 0, 1, 2, ...
0
Thus: x y z = xz ∈ L
17
x y za b c
m m 2m
y a , k 1
k
mk m 2 m
Thus: a b c L
18
mk m 2 m k 1
a b c L
BUT: n l n l
L {a b c : n, l 0}
mk m 2 m
a b c L
CONTRADICTION!!!
19
Therefore: Our assumption that L
is a regular language is not true
20
Non-regular languages L {a : n 0}
n!
Regular languages
21
Theorem: The language L {a : n 0}
n!
is not regular
n! 1 2 (n 1) n
22
L {a : n 0}
n!
Since L is infinite
we can apply the Pumping Lemma
23
L {a : n 0}
n!
We pick wa m!
24
Write a m!
xyz
Thus: y a , 1 k m
k
25
x y za m!
y a , 1 k m
k
i 0, 1, 2, ...
Thus: xy z L
2
26
x y za m!
y a , 1 k m
k
mk m!m
xy z a...aa...aa...aa...aa...aa...a L
2
x y y z
Thus: m! k
a L
27
m! k
a L 1 k m
Since: L {a : n 0}
n!
m! k p!
28
However: m! k m! m for m 1
m! m!
m!m m!
m!(m 1)
(m 1)!
m! k (m 1)!
BUT: L {a : n 0}
n!
m! k
a L
CONTRADICTION!!!
30
Therefore: Our assumption that L
is a regular language is not true
31