Professional Documents
Culture Documents
m
states
.........
walk w
A. Senthil, Professor /CSE 3
If string w has length | w| ³ m (number
of states
of DFA)
...... q ......
walk w
A. Senthil, Professor /CSE 4
Let q be the first state repeated in the
walk of w
...... q ......
walk w
A. Senthil, Professor /CSE 5
Write w= x y z
...... q ......
...... q ......
...... q ......
...... q ......
...... q ......
...... q ......
...... q ......
• we can write w= x y z
• with | x y | £ m and | y | ³ 1
i i = 0, 1, 2, ...
• such that: xy z Î L
A. Senthil, Professor /CSE 13
Applications
of
Since L is infinite
we can apply the Pumping Lemma
m m
We pick w=a b
A. Senthil, Professor /CSE 17
m m
Write: a b =xyz
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
m+k m
2
xy z = a...aa...aa...aa...ab...b Î L
x y y z
m+ k m
Thus: a b ÎL
A. Senthil, Professor /CSE 20
m+ k m k≥ 1
a b ÎL
n n
BUT: L = {a b : n ³ 0}
m+ k m
a b ÏL
CONTRADICTION!!!
A. Senthil, Professor /CSE 21
Therefore: Our assumption that L
is a regular language is not true
Regular languages