Documentos de Académico
Documentos de Profesional
Documentos de Cultura
(Pumping Lemma)
Fall 2006
{a b : n 0}
n n
Non-regular languages
Regular languages
a *b
b*c a
b c ( a b) *
etc...
Fall 2006
Fall 2006
4 pigeons
3 pigeonholes
Fall 2006
A pigeonhole must
contain at least two pigeons
Fall 2006
n pigeons
...........
pigeonholes
nm
...........
Fall 2006
n pigeons
pigeonholes
nm
There is a pigeonhole
with at least 2 pigeons
...........
Fall 2006
Fall 2006
q1
states
q2
q3
a
Fall 2006
q4
a
10
aaaab
q1
q2
q3
q2
q3
q2
q4
q3
a
Fall 2006
aaaab
q4
11
(walk states)
q1
q2
q3
aaaab
q2
q3
q4
Nests:
q1
(Automaton states)
Fall 2006
q2
Costas Busch - RPI
q3
Repeated
state
q4
12
q1
Fall 2006
q2
q3
q4
q2
aabb
q4
aabb
a
a
q3
q4
13
q1
q2
q3
aabb
q4
q4
(walk states)
Nests:
(Automaton states)
Fall 2006
q1
q2
q3
Automaton States
Costas Busch - RPI
q4
Repeated
state
14
q1 1
2 .... i q i 1 ....
i
qi
j 1.... k
qz
Arbitrary DFA
q1 1
Fall 2006
k
......
qz
qi
Repeated state
2 ......
15
| w | # states of DFA m
Pigeons:
Walk of
(walk states)
q1
....
qi
....
w
qi
....
qz
Are
more
than
Nests: q1
q2
(Automaton states)
Fall 2006
....
qi
....
qm1
qm
A state is
repeated
Costas Busch - RPI
16
Fall 2006
17
states
Fall 2006
18
Take string
w L
with
| w| m
(number of
states of DFA)
Walk in DFA of
w 1 2 k
2 ......
...... k
19
First
Second
occurrence
occurrence
2 .... i q i 1 ....
w:
j 1.... k
Unique states
Fall 2006
20
We can write
w xyz
Second
occurrence
occurrence
2 .... i q i 1 ....
x 1 i
Fall 2006
First
y i 1 j
Costas Busch - RPI
w:
j 1.... k
z j 1 k
21
In DFA:
w x y z
contains only
first occurrence of q
y
...
j
...
Fall 2006
i 1
j 1
...
...
z
Costas Busch - RPI
22
Observation:
length
| x y | m number
of states
of DFA
y
...
Unique States
j
...
Fall 2006
i 1
Since, in xy no
state is repeated
(except q)
23
Observation:
length
| y | 1
y
...
j
i 1
Fall 2006
24
and
y
...
z
...
Fall 2006
25
Additional string:
The string
is accepted
xz
y
...
...
Fall 2006
i 1
j 1
...
...
z
Costas Busch - RPI
26
Additional string:
Follow loop
2 times
xyyz
y
...
j
...
Fall 2006
The string
is accepted
i 1
j 1
...
...
z
Costas Busch - RPI
27
Additional string:
The string
is accepted
Follow loop
3 times
y
...
j
...
Fall 2006
xyyyz
i 1
j 1
...
...
z
Costas Busch - RPI
28
In General:
The string
is accepted
Follow loop
times
xy z
i 0, 1, 2, ...
...
j
...
Fall 2006
i 1
j 1
...
...
z
Costas Busch - RPI
29
Therefore:
i 0, 1, 2, ...
x y z L
i
y
...
j
...
Fall 2006
i 1
j 1
...
...
z
Costas Busch - RPI
30
Fall 2006
31
with
(critical length)
with length
| w| m
w x y z
| x y | m and | y | 1
such that:
Fall 2006
w L
xy z L
i
i 0, 1, 2, ...
32
In the book:
Critical length
Fall 2006
= Pumping length
33
Applications
of
the Pumping Lemma
Fall 2006
34
Observation:
Every language of finite size has to be regular
(we can easily construct an NFA
that accepts every string in the language)
Fall 2006
35
is regular
is not regular
36
w xyz
4. Show that
w xy z L
i
for some
i 1
w xy z L
i
37
Note:
Fall 2006
38
Proof:
Fall 2006
39
L {a b : n 0}
n n
Since L is infinite
we can apply the Pumping Lemma
Fall 2006
40
L {a b : n 0}
n n
Let
Pick a string
w such that: w L
and length
We pick
Fall 2006
| w| m
wa b
m m
41
| x y | m, | y | 1
m
w xyz a mb m
a...aa...aa...ab...b
Thus: y a , 1 k m
k
Fall 2006
42
y a , 1k m
k
x y za b
m m
xy z L
i
i 0, 1, 2, ...
Thus:
Fall 2006
xy z L
2
43
y a , 1k m
k
x y za b
m m
xy z L
2
mk
xy z a...aa...aa...aa...ab...b L
2
x
Thus:
Fall 2006
m k m
b L
44
BUT:
m k m
b L
k 1
L {a b : n 0}
n n
m k m
b L
CONTRADICTION!!!
Fall 2006
45
Therefore:
46
Non-regular language
{a b : n 0}
n n
Regular languages
* *
L( a b )
Fall 2006
47