0 views

Uploaded by Ruchi Nanda

Regular pumping examples to show how to do it

- Product of Two Binomials
- ff
- BCRs
- integrales_aplicaciones
- HW4 Solutions
- Syllogism
- note1.pdf
- QB_M2_E02
- extreme+value+theorem.pdf
- PS1
- legal logic
- Bourbakis Destructive Influence on the Mathematisation of Economics
- Example of Complex
- Equality Comparisons (C# Programming Guide)
- Chap # 1 Funtion & Limits
- TOC unit 4.pdf
- Newton's Divided Difference
- Tree Traversal
- Argument Forms and Arguments
- FCP-L1-Introduction.pdf

You are on page 1of 31

of

the Pumping Lemma

Given a infinite regular language

there exists an integer

for any string

we can write

with

w L

(critical length)

with length

| w| m

w x y z

| x y | m and | y | 1

such that:

xy z L

i 0, 1, 2, ...

Non-regular languages

L {vv : v *}

Regular languages

R

L {vv : v *}

is not regular

Proof:

{a, b}

L {vv : v *}

Assume for contradiction

that L is a regular language

Since L is infinite

we can apply the Pumping Lemma

L {vv : v *}

Let

Pick a string

such that:

w L

and length

We pick

m m m m

wa b b a

| w| m

we can write: w a b b a

m

with lengths:

x y z

| x y | m, | y | 1

m m m

w xyz a...aa...a...ab...bb...ba...a

x

Thus:

y a , 1k m

k

m m m m

x y za b b a

y a , 1k m

k

xy z L

i 0, 1, 2, ...

Thus:

xy z L

m m m m

x y za b b a

y a , 1k m

k

xy z L

m m m

m+k

2

xy z = a...aa...aa...a...ab...bb...ba...a L

x

Thus:

y

a

y

m k m m m

b b a

a

BUT:

m k m m m

b b a

L {vv : v *}

m k m m m

b b a

CONTRADICTION!!!

k 1

Therefore:

is a regular language is not true

Conclusion: L

END OF PROOF

Non-regular languages

n l n l

L {a b c

Regular languages

: n, l 0}

n l n l

L {a b c

: n, l 0}

is not regular

Proof:

n l n l

L {a b c

: n, l 0}

that L is a regular language

Since L is infinite

we can apply the Pumping Lemma

n l n l

L {a b c

Let

: n, l 0}

Pick a string

such that:

w L

length

We pick

m m 2m

wa b c

and

| w| m

We can write

w a b c

With lengths

| x y | m, | y | 1

2m

x y z

2m

w xyz a...aa...aa...ab...bc...cc...c

x

Thus:

y a , 1k m

k

m m 2m

x y za b c

y a , 1k m

xy z L

i 0, 1, 2, ...

Thus:

x y z = xz L

m m 2m

x y za b c

y a , 1k m

k

xz L

mk

2m

xz a...aa...ab...bc...cc...c L

x

Thus:

mk m 2m

b c

BUT:

mk m 2m

b c

n l n l

L {a b c

mk m 2m

b c

: n, l 0}

CONTRADICTION!!!

k 1

Therefore:

is a regular language is not true

Conclusion: L

END OF PROOF

Non-regular languages

n!

L {a : n 0}

Regular languages

n!

L {a : n 0}

is not regular

n! 1 2 (n 1) n

Proof:

n!

L {a : n 0}

that L is a regular language

Since L is infinite

we can apply the Pumping Lemma

n!

L {a : n 0}

Let

Pick a string

such that:

w L

length

We pick

wa

m!

| w| m

We can write w a

With lengths

m!

x y z

| x y | m, | y | 1

m

w xyz a

m!

m! m

a...aa...aa...aa...aa...a

x

Thus:

y

k

y a , 1 k m

x y za

m!

y a , 1 k m

xy z L

i 0, 1, 2, ...

Thus:

xy z L

x y za

m!

y a , 1 k m

mk

xy z L

m!m

xy z a...aa...aa...aa...aa...aa...a L

x

Thus:

y

a

m! k

a

Since:

m! k

1 k m

n!

L {a : n 0}

m! k p!

such that:

However:

m! k m! m

m! m!

m!m m!

m!(m 1)

(m 1)!

for

m 1

m! k (m 1)!

m! k p!

for any

a

BUT:

m! k

n!

L {a : n 0}

m! k

CONTRADICTION!!!

1 k m

Therefore:

is a regular language is not true

Conclusion: L

END OF PROOF

- Product of Two BinomialsUploaded byAigerim Toiboldinova
- ffUploaded byNeoaz Mahfuz
- BCRsUploaded byAnonymous 0U9j6BLllB
- integrales_aplicacionesUploaded byXimena Barajas
- HW4 SolutionsUploaded bydanzai5375
- SyllogismUploaded bysushilChand
- note1.pdfUploaded byRania Adila
- QB_M2_E02Uploaded byym5c2324
- extreme+value+theorem.pdfUploaded byabhi
- PS1Uploaded byRandum Dood
- legal logicUploaded byLorraine Diano
- Bourbakis Destructive Influence on the Mathematisation of EconomicsUploaded byvikky90
- Example of ComplexUploaded byVenkat Umesh
- Equality Comparisons (C# Programming Guide)Uploaded byKyle Daly
- Chap # 1 Funtion & LimitsUploaded byUsama Chand
- TOC unit 4.pdfUploaded byKniturse
- Newton's Divided DifferenceUploaded byKatherine Shayne Yee
- Tree TraversalUploaded bysundaramnms
- Argument Forms and ArgumentsUploaded byElizen Joy Ruiz
- FCP-L1-Introduction.pdfUploaded byParham
- Training Artificial Neural Networks for Fuzzy LogicUploaded byHala Eid
- wollic12Uploaded byMarcio Díaz

- Meta-communication - Wikipedia, The Free EncyclopediaUploaded byzubairulhassan
- Texto 14Uploaded byrafaela86
- Logical FallaciesUploaded byAga Francis Amiel Anciano
- 12-ceausuUploaded byRoxi Pasca
- Maths QuizUploaded byNair V Kumar
- Bertolacci. 'Avicenna and Averroes on the proof of God' existence and the subject-matter of metaphysics', 2007.pdfUploaded bylooa
- Delegation Count as and Security in Talmudic LogicUploaded byavitam
- Thilly -Kant and Teleological EthicsUploaded byDaniel Perrone
- RUSSELL, Bertrand. Mysticism and logic and other essays.pdfUploaded bytstfree2001
- Algorithm MathematicsUploaded byBindu Devender Mahajan
- Final Essay Aristotle Nicomachean EthicsUploaded byAlan Lui
- Chapter 6-Boolean Algebra-2oP.pdfUploaded byBalkrishan Goswami
- Wikipedia Articles UpdatedUploaded byRK Deepak
- Probability Students CopyUploaded byAnonymous UqsAfi
- Human 11Uploaded byFrederick W Gomez
- Piattelli-Palmarini, M. Deep BackgroundUploaded byJéssica Chelsea
- Barry Smith - Logic and Formal OntologyUploaded byArthur Godinho
- PROFICIÊNCIA Modelo ProvaUploaded byVALERIA
- Theory of Concept GenerationUploaded byjoakant
- Basic and Applied Social Psychology Journal -EditorialUploaded byHussain Ali
- Wrap Thesis Goudeli 1999Uploaded bycfranciscoo01
- Potongan Bab 2 TBOUploaded byDeviWedayanti
- Recreational MathematicsUploaded byp13tejp
- 1 -Nature of MathematicsUploaded bydfmbelmonte
- Derrida the Rhetoric of DrugsUploaded byindeed
- Wittgenstein Stanford EPUploaded byDope7560
- Bartle Introduction to Real Analysis solutionsUploaded byAlexandre St-Pierre
- Essential Mathematical MethodsUploaded byMelissa Peter
- GangleUploaded byDaniel
- Final TOK PaperUploaded byGabi Willis