Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Deepak D’Souza
05 October 2010
Pumping Lemma Applications Closure Properties
Outline
1 Pumping Lemma
2 Applications
3 Closure Properties
Pumping Lemma Applications Closure Properties
Pumping Lemma
For every CFL L there is a constant k ≥ 0 such that for any word z
in L of length at least k, there are strings u, v , w , x, y such that
z = uvwxy ,
vx 6= ǫ,
|vwx| ≤ k, and
for each i ≥ 0, the string uv i wx i y belongs to L.
≤k
Pumping Lemma Applications Closure Properties
Example derivation:
S
S ⇒ aSb a S b
⇒ aaSbb
a S b
⇒ aaaSbbb
⇒ aaaaSbbbb a S b
⇒ aaaabbbb.
a S b
ǫ
Pumping Lemma Applications Closure Properties
a S b a S b a S b
a S b a S b a S b
a S b ǫ a S b
a S b a S b
ǫ a S b
a S b
ǫ
Pumping Lemma Applications Closure Properties
Proof idea
A long string must have a deep parse tree, which in turn means a
path with a repeated non-terminal.
S S
X X
X X
X
Pumping Lemma Applications Closure Properties
Proof
Proof - II
Applications
Applications
CFL
Regular
Closed?
Union
Pumping Lemma Applications Closure Properties
CFL
Regular
Closed?
√
Union
Intersection
Pumping Lemma Applications Closure Properties
CFL
Regular
Closed?
√
Union
Intersection X
Complementation
Pumping Lemma Applications Closure Properties
CFL
Regular
Closed?
√
Union
Intersection X
Complementation X