SlideShare a Scribd company logo
AUTOMATA
PUMPING-LEMMA
Name- Anshika Das
Roll no- 14400121029
Subject code-PEC-IT501A
Subject-Theory of Computation
Sem-5th
College-Neotia Institute of Technology
Management and Science
agenda
• Introduction
• Types
• Examples
• Advantages
• Applications
INTRODUCTION
• Pumping Lemma IsUsedTo ProveThat
a Language Is Not Regular .
• ItCan Not BeUse to ProveThat a
Language Is Regular.
TYPES OF PUMPING LEMMA
Context-free
languages
Regular
languages
For regular languages
• Pumping Lemma IsUsedTo ProveThat a Language
Is Not Regular
• ItCan Not BeUse to ProveThat a Language Is Regular
• n simple terms, this means that if a string v is ‘pumped’,
i.e., if v is inserted any number of times, the resultant
string still remains in L.
• Pumping Lemma is used as a proof for irregularity of a
language.Thus, if a language is regular, it always
satisfies pumping lemma. If there exists at least one
string made from pumping which is not in L, then L is
surely not regular.
The opposite of this may not always be true.That is, if
Pumping Lemma holds, it does not mean that the
language is regular
P.L For Regular Language Rules
Example
Pumping Lemma of Context Free Language
• Pumping Lemma isUsed to Prove that a
Language Is NotContext Free.
• Pumping Lemma forCFL states that for any
Context Free Language L, it is possible to
find two substrings that can be ‘pumped’
any number of times and still be in the
same language. For any language L, we
break its strings into five parts and pump
second and fourth substring.
Pumping Lemma, here also, is used as a
tool to prove that a language is notCFL.
Because, if any one string does not satisfy
its conditions, then the language is notCFL.
P.L For CFG Rules
• Let L(G) IsCFGThen FollowingCondition Must BeSatisfied.
• Steps
n is natural Number AndZ=uvwxy For
1. EveryZ ∈ L(G) With |Z|>=n
String Divide Into Five Parts.
2. |vx|>=1
3. |uwx|<=n
4. u v^k w x^k y ∈ L forAll K>=0
Example
• Prove L={a^i,b^i,c^I / i>=1} is NotCFG.
n=10
1. Assume L Is CFG & n is Natural Number
2. L={abc,aabbcc,aaabbbccc,aaaabbbbcccc….}
3. Z=aaaabbbbcccc |z|>=n
4. v & x Contain Some Symbols
5. u=aa, v=aa, w=bbbb, x=c, y=ccc
6. u v^i w x^i y ∈ L K>=0
7. K=1 aaaabbbbcccc ∈L
8. K=2 aaaaaabbbbccccc ! ∈ L
ADVANTAGES OF PUMPING-LEMMA
• Pumping lemma for regular languages, the fact that all
sufficiently long strings in such a language have a substring
that can be repeated arbitrarily many times, usually used to
prove that certain languages are not regular.
• Pumping lemma for context-free languages, the fact that all
sufficiently long strings in such a language have a pair of
substrings that can be repeated arbitrarily many times,
usually used to prove that certain languages are not context-
free
• Pumping lemma for indexed languages
Applications of Pumping Lemma
• Pumping lemma is a negative test. It can be used in
applications like Showing an invalid move in game of chess.As
the move may not obey rules of game.
Applications of Pumping Lemma
• pumping lemma can be applied to prove
that the inputted move is invalid.
Moreover, some Power stations also use
this lemma for determining the cut off
temperatures to be kept in furnaces.
• For an example, say pumping lemma can
answer to why the temperature shouldn’t
go beyond 250 Degrees, etc.Thus, in a
nutshell, pumping lemma has variety of
applications in practical engineering.
REFRENCES
https://en.wikipedia.org/wiki/Pumping_lemma
https://www.geeksforgeeks.org/theory-of-computation-pumping-lemma/
https://www.sanfoundry.com/automata-theory-pumping-lemma-regular-languages
pumping-lemma-181011153118.pptx

More Related Content

More from AnSHiKa187943

11100121024_Asif Ikbal_CA1_OS...pdf
11100121024_Asif Ikbal_CA1_OS...pdf11100121024_Asif Ikbal_CA1_OS...pdf
11100121024_Asif Ikbal_CA1_OS...pdf
AnSHiKa187943
 
CA-1_14400121029_HSMC_301.pdf
CA-1_14400121029_HSMC_301.pdfCA-1_14400121029_HSMC_301.pdf
CA-1_14400121029_HSMC_301.pdf
AnSHiKa187943
 
14400121029_Anshika Das_Software Engineering.pdf
14400121029_Anshika Das_Software Engineering.pdf14400121029_Anshika Das_Software Engineering.pdf
14400121029_Anshika Das_Software Engineering.pdf
AnSHiKa187943
 
time-value-of-money.pptx
time-value-of-money.pptxtime-value-of-money.pptx
time-value-of-money.pptx
AnSHiKa187943
 
divisionoflabour-170216153446-2.pptx
divisionoflabour-170216153446-2.pptxdivisionoflabour-170216153446-2.pptx
divisionoflabour-170216153446-2.pptx
AnSHiKa187943
 
LECT9.ppt
LECT9.pptLECT9.ppt
LECT9.ppt
AnSHiKa187943
 
_86c448dfa47cdab170075f16cd25c650_PeerReviewforUpload.pptx
_86c448dfa47cdab170075f16cd25c650_PeerReviewforUpload.pptx_86c448dfa47cdab170075f16cd25c650_PeerReviewforUpload.pptx
_86c448dfa47cdab170075f16cd25c650_PeerReviewforUpload.pptx
AnSHiKa187943
 
sorting-160810203705.pptx
sorting-160810203705.pptxsorting-160810203705.pptx
sorting-160810203705.pptx
AnSHiKa187943
 
ChodonKumar.pptx
ChodonKumar.pptxChodonKumar.pptx
ChodonKumar.pptx
AnSHiKa187943
 
SubhamDas.pptx
SubhamDas.pptxSubhamDas.pptx
SubhamDas.pptx
AnSHiKa187943
 
26-170918023441 (1).pptx
26-170918023441 (1).pptx26-170918023441 (1).pptx
26-170918023441 (1).pptx
AnSHiKa187943
 
BhamD.pptx
BhamD.pptxBhamD.pptx
BhamD.pptx
AnSHiKa187943
 
Anshika 1111.pptx
Anshika 1111.pptxAnshika 1111.pptx
Anshika 1111.pptx
AnSHiKa187943
 
9pL7F2E8XI0alXYT280.pptx
9pL7F2E8XI0alXYT280.pptx9pL7F2E8XI0alXYT280.pptx
9pL7F2E8XI0alXYT280.pptx
AnSHiKa187943
 

More from AnSHiKa187943 (14)

11100121024_Asif Ikbal_CA1_OS...pdf
11100121024_Asif Ikbal_CA1_OS...pdf11100121024_Asif Ikbal_CA1_OS...pdf
11100121024_Asif Ikbal_CA1_OS...pdf
 
CA-1_14400121029_HSMC_301.pdf
CA-1_14400121029_HSMC_301.pdfCA-1_14400121029_HSMC_301.pdf
CA-1_14400121029_HSMC_301.pdf
 
14400121029_Anshika Das_Software Engineering.pdf
14400121029_Anshika Das_Software Engineering.pdf14400121029_Anshika Das_Software Engineering.pdf
14400121029_Anshika Das_Software Engineering.pdf
 
time-value-of-money.pptx
time-value-of-money.pptxtime-value-of-money.pptx
time-value-of-money.pptx
 
divisionoflabour-170216153446-2.pptx
divisionoflabour-170216153446-2.pptxdivisionoflabour-170216153446-2.pptx
divisionoflabour-170216153446-2.pptx
 
LECT9.ppt
LECT9.pptLECT9.ppt
LECT9.ppt
 
_86c448dfa47cdab170075f16cd25c650_PeerReviewforUpload.pptx
_86c448dfa47cdab170075f16cd25c650_PeerReviewforUpload.pptx_86c448dfa47cdab170075f16cd25c650_PeerReviewforUpload.pptx
_86c448dfa47cdab170075f16cd25c650_PeerReviewforUpload.pptx
 
sorting-160810203705.pptx
sorting-160810203705.pptxsorting-160810203705.pptx
sorting-160810203705.pptx
 
ChodonKumar.pptx
ChodonKumar.pptxChodonKumar.pptx
ChodonKumar.pptx
 
SubhamDas.pptx
SubhamDas.pptxSubhamDas.pptx
SubhamDas.pptx
 
26-170918023441 (1).pptx
26-170918023441 (1).pptx26-170918023441 (1).pptx
26-170918023441 (1).pptx
 
BhamD.pptx
BhamD.pptxBhamD.pptx
BhamD.pptx
 
Anshika 1111.pptx
Anshika 1111.pptxAnshika 1111.pptx
Anshika 1111.pptx
 
9pL7F2E8XI0alXYT280.pptx
9pL7F2E8XI0alXYT280.pptx9pL7F2E8XI0alXYT280.pptx
9pL7F2E8XI0alXYT280.pptx
 

Recently uploaded

Vaccine management system project report documentation..pdf
Vaccine management system project report documentation..pdfVaccine management system project report documentation..pdf
Vaccine management system project report documentation..pdf
Kamal Acharya
 
HYDROPOWER - Hydroelectric power generation
HYDROPOWER - Hydroelectric power generationHYDROPOWER - Hydroelectric power generation
HYDROPOWER - Hydroelectric power generation
Robbie Edward Sayers
 
Halogenation process of chemical process industries
Halogenation process of chemical process industriesHalogenation process of chemical process industries
Halogenation process of chemical process industries
MuhammadTufail242431
 
Cosmetic shop management system project report.pdf
Cosmetic shop management system project report.pdfCosmetic shop management system project report.pdf
Cosmetic shop management system project report.pdf
Kamal Acharya
 
The role of big data in decision making.
The role of big data in decision making.The role of big data in decision making.
The role of big data in decision making.
ankuprajapati0525
 
ASME IX(9) 2007 Full Version .pdf
ASME IX(9)  2007 Full Version       .pdfASME IX(9)  2007 Full Version       .pdf
ASME IX(9) 2007 Full Version .pdf
AhmedHussein950959
 
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
bakpo1
 
WATER CRISIS and its solutions-pptx 1234
WATER CRISIS and its solutions-pptx 1234WATER CRISIS and its solutions-pptx 1234
WATER CRISIS and its solutions-pptx 1234
AafreenAbuthahir2
 
CME397 Surface Engineering- Professional Elective
CME397 Surface Engineering- Professional ElectiveCME397 Surface Engineering- Professional Elective
CME397 Surface Engineering- Professional Elective
karthi keyan
 
block diagram and signal flow graph representation
block diagram and signal flow graph representationblock diagram and signal flow graph representation
block diagram and signal flow graph representation
Divya Somashekar
 
Railway Signalling Principles Edition 3.pdf
Railway Signalling Principles Edition 3.pdfRailway Signalling Principles Edition 3.pdf
Railway Signalling Principles Edition 3.pdf
TeeVichai
 
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Dr.Costas Sachpazis
 
Immunizing Image Classifiers Against Localized Adversary Attacks
Immunizing Image Classifiers Against Localized Adversary AttacksImmunizing Image Classifiers Against Localized Adversary Attacks
Immunizing Image Classifiers Against Localized Adversary Attacks
gerogepatton
 
J.Yang, ICLR 2024, MLILAB, KAIST AI.pdf
J.Yang,  ICLR 2024, MLILAB, KAIST AI.pdfJ.Yang,  ICLR 2024, MLILAB, KAIST AI.pdf
J.Yang, ICLR 2024, MLILAB, KAIST AI.pdf
MLILAB
 
Courier management system project report.pdf
Courier management system project report.pdfCourier management system project report.pdf
Courier management system project report.pdf
Kamal Acharya
 
Event Management System Vb Net Project Report.pdf
Event Management System Vb Net  Project Report.pdfEvent Management System Vb Net  Project Report.pdf
Event Management System Vb Net Project Report.pdf
Kamal Acharya
 
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
obonagu
 
Planning Of Procurement o different goods and services
Planning Of Procurement o different goods and servicesPlanning Of Procurement o different goods and services
Planning Of Procurement o different goods and services
JoytuBarua2
 
Top 10 Oil and Gas Projects in Saudi Arabia 2024.pdf
Top 10 Oil and Gas Projects in Saudi Arabia 2024.pdfTop 10 Oil and Gas Projects in Saudi Arabia 2024.pdf
Top 10 Oil and Gas Projects in Saudi Arabia 2024.pdf
Teleport Manpower Consultant
 
LIGA(E)11111111111111111111111111111111111111111.ppt
LIGA(E)11111111111111111111111111111111111111111.pptLIGA(E)11111111111111111111111111111111111111111.ppt
LIGA(E)11111111111111111111111111111111111111111.ppt
ssuser9bd3ba
 

Recently uploaded (20)

Vaccine management system project report documentation..pdf
Vaccine management system project report documentation..pdfVaccine management system project report documentation..pdf
Vaccine management system project report documentation..pdf
 
HYDROPOWER - Hydroelectric power generation
HYDROPOWER - Hydroelectric power generationHYDROPOWER - Hydroelectric power generation
HYDROPOWER - Hydroelectric power generation
 
Halogenation process of chemical process industries
Halogenation process of chemical process industriesHalogenation process of chemical process industries
Halogenation process of chemical process industries
 
Cosmetic shop management system project report.pdf
Cosmetic shop management system project report.pdfCosmetic shop management system project report.pdf
Cosmetic shop management system project report.pdf
 
The role of big data in decision making.
The role of big data in decision making.The role of big data in decision making.
The role of big data in decision making.
 
ASME IX(9) 2007 Full Version .pdf
ASME IX(9)  2007 Full Version       .pdfASME IX(9)  2007 Full Version       .pdf
ASME IX(9) 2007 Full Version .pdf
 
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
 
WATER CRISIS and its solutions-pptx 1234
WATER CRISIS and its solutions-pptx 1234WATER CRISIS and its solutions-pptx 1234
WATER CRISIS and its solutions-pptx 1234
 
CME397 Surface Engineering- Professional Elective
CME397 Surface Engineering- Professional ElectiveCME397 Surface Engineering- Professional Elective
CME397 Surface Engineering- Professional Elective
 
block diagram and signal flow graph representation
block diagram and signal flow graph representationblock diagram and signal flow graph representation
block diagram and signal flow graph representation
 
Railway Signalling Principles Edition 3.pdf
Railway Signalling Principles Edition 3.pdfRailway Signalling Principles Edition 3.pdf
Railway Signalling Principles Edition 3.pdf
 
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
 
Immunizing Image Classifiers Against Localized Adversary Attacks
Immunizing Image Classifiers Against Localized Adversary AttacksImmunizing Image Classifiers Against Localized Adversary Attacks
Immunizing Image Classifiers Against Localized Adversary Attacks
 
J.Yang, ICLR 2024, MLILAB, KAIST AI.pdf
J.Yang,  ICLR 2024, MLILAB, KAIST AI.pdfJ.Yang,  ICLR 2024, MLILAB, KAIST AI.pdf
J.Yang, ICLR 2024, MLILAB, KAIST AI.pdf
 
Courier management system project report.pdf
Courier management system project report.pdfCourier management system project report.pdf
Courier management system project report.pdf
 
Event Management System Vb Net Project Report.pdf
Event Management System Vb Net  Project Report.pdfEvent Management System Vb Net  Project Report.pdf
Event Management System Vb Net Project Report.pdf
 
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
 
Planning Of Procurement o different goods and services
Planning Of Procurement o different goods and servicesPlanning Of Procurement o different goods and services
Planning Of Procurement o different goods and services
 
Top 10 Oil and Gas Projects in Saudi Arabia 2024.pdf
Top 10 Oil and Gas Projects in Saudi Arabia 2024.pdfTop 10 Oil and Gas Projects in Saudi Arabia 2024.pdf
Top 10 Oil and Gas Projects in Saudi Arabia 2024.pdf
 
LIGA(E)11111111111111111111111111111111111111111.ppt
LIGA(E)11111111111111111111111111111111111111111.pptLIGA(E)11111111111111111111111111111111111111111.ppt
LIGA(E)11111111111111111111111111111111111111111.ppt
 

pumping-lemma-181011153118.pptx

  • 2. Name- Anshika Das Roll no- 14400121029 Subject code-PEC-IT501A Subject-Theory of Computation Sem-5th College-Neotia Institute of Technology Management and Science
  • 3. agenda • Introduction • Types • Examples • Advantages • Applications
  • 4. INTRODUCTION • Pumping Lemma IsUsedTo ProveThat a Language Is Not Regular . • ItCan Not BeUse to ProveThat a Language Is Regular.
  • 5. TYPES OF PUMPING LEMMA Context-free languages Regular languages
  • 6. For regular languages • Pumping Lemma IsUsedTo ProveThat a Language Is Not Regular • ItCan Not BeUse to ProveThat a Language Is Regular • n simple terms, this means that if a string v is ‘pumped’, i.e., if v is inserted any number of times, the resultant string still remains in L. • Pumping Lemma is used as a proof for irregularity of a language.Thus, if a language is regular, it always satisfies pumping lemma. If there exists at least one string made from pumping which is not in L, then L is surely not regular. The opposite of this may not always be true.That is, if Pumping Lemma holds, it does not mean that the language is regular
  • 7. P.L For Regular Language Rules
  • 9. Pumping Lemma of Context Free Language • Pumping Lemma isUsed to Prove that a Language Is NotContext Free. • Pumping Lemma forCFL states that for any Context Free Language L, it is possible to find two substrings that can be ‘pumped’ any number of times and still be in the same language. For any language L, we break its strings into five parts and pump second and fourth substring. Pumping Lemma, here also, is used as a tool to prove that a language is notCFL. Because, if any one string does not satisfy its conditions, then the language is notCFL.
  • 10. P.L For CFG Rules • Let L(G) IsCFGThen FollowingCondition Must BeSatisfied. • Steps n is natural Number AndZ=uvwxy For 1. EveryZ ∈ L(G) With |Z|>=n String Divide Into Five Parts. 2. |vx|>=1 3. |uwx|<=n 4. u v^k w x^k y ∈ L forAll K>=0
  • 11. Example • Prove L={a^i,b^i,c^I / i>=1} is NotCFG. n=10 1. Assume L Is CFG & n is Natural Number 2. L={abc,aabbcc,aaabbbccc,aaaabbbbcccc….} 3. Z=aaaabbbbcccc |z|>=n 4. v & x Contain Some Symbols 5. u=aa, v=aa, w=bbbb, x=c, y=ccc 6. u v^i w x^i y ∈ L K>=0 7. K=1 aaaabbbbcccc ∈L 8. K=2 aaaaaabbbbccccc ! ∈ L
  • 12. ADVANTAGES OF PUMPING-LEMMA • Pumping lemma for regular languages, the fact that all sufficiently long strings in such a language have a substring that can be repeated arbitrarily many times, usually used to prove that certain languages are not regular. • Pumping lemma for context-free languages, the fact that all sufficiently long strings in such a language have a pair of substrings that can be repeated arbitrarily many times, usually used to prove that certain languages are not context- free • Pumping lemma for indexed languages
  • 13. Applications of Pumping Lemma • Pumping lemma is a negative test. It can be used in applications like Showing an invalid move in game of chess.As the move may not obey rules of game.
  • 14. Applications of Pumping Lemma • pumping lemma can be applied to prove that the inputted move is invalid. Moreover, some Power stations also use this lemma for determining the cut off temperatures to be kept in furnaces. • For an example, say pumping lemma can answer to why the temperature shouldn’t go beyond 250 Degrees, etc.Thus, in a nutshell, pumping lemma has variety of applications in practical engineering.