Professional Documents
Culture Documents
Non-Regular Languages: (Pumping Lemma)
Non-Regular Languages: (Pumping Lemma)
(Pumping Lemma)
Regular languages
a *b b*c a
b c ( a b) *
etc...
Costas Busch - LSU 2
How can we prove that a language L
is not regular?
3 pigeonholes
...........
m pigeonholes nm
...........
n pigeons
m pigeonholes
There is a pigeonhole
nm with at least 2 pigeons
...........
and
DFAs
b
b b
a a b
q1 q2 q3 q4
a a
Costas Busch - LSU 10
Consider the walk of a “long’’ string: aaaab
(length at least 4)
b
b b
a a b
q1 q2 q3 q4
a a
Costas Busch - LSU 11
The state is repeated as a result of
the pigeonhole principle
Walk of aaaab
Pigeons: q1 a q2 a q3 a q2 a q3 b q4
(walk states)
Nests: q1 q2 q3 q4
(Automaton states) Repeated Repeated
state state
Costas Busch - LSU 12
Consider the walk of a “long’’ string: aabb
(length at least 4)
b
b b
a a b
q1 q2 q3 q4
a
Costas Busch - LSU
a 13
The state is repeated as a result of
the pigeonhole principle:
Walk of aabb
Pigeons: q1 a q2 a q3 b q4 b q4
(walk states)
Nests: q1 q2 q3 q4
(Automaton states) Repeated
Automaton States
state
Costas Busch - LSU 14
In General: If | w | # states of DFA ,
by the pigeonhole principle,
a state is repeated in the walk w
Walk of w 1 2 k
q1 1 2 .... i q i 1 .... j
qi
j 1
.... k
qz
i
Arbitrary DFA
q1 1 2
...... ...... k
qi qz
Repeated state
Costas Busch - LSU 15
| w | # states of DFA p
Number of states in walk is at least p 1
Pigeons: Walk
(walk states)
of w
q1 .... qi .... qi .... qz
Are
more
than
q
Nests: 1 q2 .... qi .... q p 1 qp
(Automaton states) A state is
repeated
Costas Busch - LSU 16
The Pumping Lemma
p
states
Walk in DFA of
w 1 2 k
1 2 ...... q ...... k
Repeated state in DFA
Costas Busch - LSU 19
There could be many states repeated
Unique states
j i 1
1
... i
q j 1
... ... k
x z
Costas Busch - LSU 22
Observation: length | x y | p number
of states
of DFA
y
... Because of
unique states in xy
j i 1
1
... i
q Since, in xy no
state is repeated
x Costas Busch - LSU
(except q) 23
Observation: length | y | 1
Since there is at least one transition in loop
y
...
j i 1
z
... q
j i 1
1
... i
q j 1
... ... k
x z
Costas Busch - LSU 26
Additional string: The string xyyz
is accepted
Follow loop y
2 times
...
j i 1
1
... i
q j 1
... ... k
x z
Costas Busch - LSU 27
Additional string: The string xyyyz
is accepted
Follow loop y
3 times
...
j i 1
1
... i
q j 1
... ... k
x z
Costas Busch - LSU 28
i
In General: The string xy z
is accepted i 0, 1, 2, ...
Follow loop y
i times
...
j i 1
1
... i
q j 1
... ... k
x z
Costas Busch - LSU 29
Therefore: x y z L
i
i 0, 1, 2, ...
j i 1
1
... i
q j 1
... ... k
x z
Costas Busch - LSU 30
In other words, we described:
• with |x y| p and | y | 1
i i 0, 1, 2, ...
• such that: xy z L
Costas Busch - LSU 32
Applications
of
Since L is infinite
we can apply the Pumping Lemma
We pick wa b p p
with lengths | x y | p, | y | 1
p p
w xyz a b
p p
a...aa...aa...ab...b
x y z
Thus: y a , 1 k p
k
i
From the Pumping Lemma: xy z L
i 0, 1, 2, ...
2
Thus: xy z L
2
From the Pumping Lemma: xy z L
pk p
2
xy z a...aa...aa...aa...ab...b L
x y y z
pk
Thus: a b L
p
Costas Busch - LSU 43
pk
a b L
p
k≥ 1
n n
BUT: L {a b : n 0}
pk
a b Lp
CONTRADICTION!!!
Costas Busch - LSU 44
Therefore: Our assumption that L
is a regular language is not true
END OF PROOF
Costas Busch - LSU 45
n n
Non-regular language {a b : n 0}
Regular languages
* *
L(a b )
*