The document discusses the Pumping Lemma for regular languages. It states that the Pumping Lemma can be used to prove that a language is non-regular by showing that the language does not have the "pumping property" defined by the lemma. Specifically, the Pumping Lemma says that for any regular language, there exists a pumping length such that any string in the language longer than the pumping length can be divided into three parts where repeating the middle part a variable number of times results in strings that remain in the language.
Final project report on grocery store management system..pdfKamal Acharya
In today’s fast-changing business environment, it’s extremely important to be able to respond to client needs in the most effective and timely manner. If your customers wish to see your business online and have instant access to your products or services.
Online Grocery Store is an e-commerce website, which retails various grocery products. This project allows viewing various products available enables registered users to purchase desired products instantly using Paytm, UPI payment processor (Instant Pay) and also can place order by using Cash on Delivery (Pay Later) option. This project provides an easy access to Administrators and Managers to view orders placed using Pay Later and Instant Pay options.
In order to develop an e-commerce website, a number of Technologies must be studied and understood. These include multi-tiered architecture, server and client-side scripting techniques, implementation technologies, programming language (such as PHP, HTML, CSS, JavaScript) and MySQL relational databases. This is a project with the objective to develop a basic website where a consumer is provided with a shopping cart website and also to know about the technologies used to develop such a website.
This document will discuss each of the underlying technologies to create and implement an e- commerce website.
Automobile Management System Project Report.pdfKamal Acharya
The proposed project is developed to manage the automobile in the automobile dealer company. The main module in this project is login, automobile management, customer management, sales, complaints and reports. The first module is the login. The automobile showroom owner should login to the project for usage. The username and password are verified and if it is correct, next form opens. If the username and password are not correct, it shows the error message.
When a customer search for a automobile, if the automobile is available, they will be taken to a page that shows the details of the automobile including automobile name, automobile ID, quantity, price etc. “Automobile Management System” is useful for maintaining automobiles, customers effectively and hence helps for establishing good relation between customer and automobile organization. It contains various customized modules for effectively maintaining automobiles and stock information accurately and safely.
When the automobile is sold to the customer, stock will be reduced automatically. When a new purchase is made, stock will be increased automatically. While selecting automobiles for sale, the proposed software will automatically check for total number of available stock of that particular item, if the total stock of that particular item is less than 5, software will notify the user to purchase the particular item.
Also when the user tries to sale items which are not in stock, the system will prompt the user that the stock is not enough. Customers of this system can search for a automobile; can purchase a automobile easily by selecting fast. On the other hand the stock of automobiles can be maintained perfectly by the automobile shop manager overcoming the drawbacks of existing system.
COLLEGE BUS MANAGEMENT SYSTEM PROJECT REPORT.pdfKamal Acharya
The College Bus Management system is completely developed by Visual Basic .NET Version. The application is connect with most secured database language MS SQL Server. The application is develop by using best combination of front-end and back-end languages. The application is totally design like flat user interface. This flat user interface is more attractive user interface in 2017. The application is gives more important to the system functionality. The application is to manage the student’s details, driver’s details, bus details, bus route details, bus fees details and more. The application has only one unit for admin. The admin can manage the entire application. The admin can login into the application by using username and password of the admin. The application is develop for big and small colleges. It is more user friendly for non-computer person. Even they can easily learn how to manage the application within hours. The application is more secure by the admin. The system will give an effective output for the VB.Net and SQL Server given as input to the system. The compiled java program given as input to the system, after scanning the program will generate different reports. The application generates the report for users. The admin can view and download the report of the data. The application deliver the excel format reports. Because, excel formatted reports is very easy to understand the income and expense of the college bus. This application is mainly develop for windows operating system users. In 2017, 73% of people enterprises are using windows operating system. So the application will easily install for all the windows operating system users. The application-developed size is very low. The application consumes very low space in disk. Therefore, the user can allocate very minimum local disk space for this application.
Courier management system project report.pdfKamal Acharya
It is now-a-days very important for the people to send or receive articles like imported furniture, electronic items, gifts, business goods and the like. People depend vastly on different transport systems which mostly use the manual way of receiving and delivering the articles. There is no way to track the articles till they are received and there is no way to let the customer know what happened in transit, once he booked some articles. In such a situation, we need a system which completely computerizes the cargo activities including time to time tracking of the articles sent. This need is fulfilled by Courier Management System software which is online software for the cargo management people that enables them to receive the goods from a source and send them to a required destination and track their status from time to time.
Democratizing Fuzzing at Scale by Abhishek Aryaabh.arya
Presented at NUS: Fuzzing and Software Security Summer School 2024
This keynote talks about the democratization of fuzzing at scale, highlighting the collaboration between open source communities, academia, and industry to advance the field of fuzzing. It delves into the history of fuzzing, the development of scalable fuzzing platforms, and the empowerment of community-driven research. The talk will further discuss recent advancements leveraging AI/ML and offer insights into the future evolution of the fuzzing landscape.
Immunizing Image Classifiers Against Localized Adversary Attacksgerogepatton
This paper addresses the vulnerability of deep learning models, particularly convolutional neural networks
(CNN)s, to adversarial attacks and presents a proactive training technique designed to counter them. We
introduce a novel volumization algorithm, which transforms 2D images into 3D volumetric representations.
When combined with 3D convolution and deep curriculum learning optimization (CLO), itsignificantly improves
the immunity of models against localized universal attacks by up to 40%. We evaluate our proposed approach
using contemporary CNN architectures and the modified Canadian Institute for Advanced Research (CIFAR-10
and CIFAR-100) and ImageNet Large Scale Visual Recognition Challenge (ILSVRC12) datasets, showcasing
accuracy improvements over previous techniques. The results indicate that the combination of the volumetric
input and curriculum learning holds significant promise for mitigating adversarial attacks without necessitating
adversary training.
About
Indigenized remote control interface card suitable for MAFI system CCR equipment. Compatible for IDM8000 CCR. Backplane mounted serial and TCP/Ethernet communication module for CCR remote access. IDM 8000 CCR remote control on serial and TCP protocol.
• Remote control: Parallel or serial interface.
• Compatible with MAFI CCR system.
• Compatible with IDM8000 CCR.
• Compatible with Backplane mount serial communication.
• Compatible with commercial and Defence aviation CCR system.
• Remote control system for accessing CCR and allied system over serial or TCP.
• Indigenized local Support/presence in India.
• Easy in configuration using DIP switches.
Technical Specifications
Indigenized remote control interface card suitable for MAFI system CCR equipment. Compatible for IDM8000 CCR. Backplane mounted serial and TCP/Ethernet communication module for CCR remote access. IDM 8000 CCR remote control on serial and TCP protocol.
Key Features
Indigenized remote control interface card suitable for MAFI system CCR equipment. Compatible for IDM8000 CCR. Backplane mounted serial and TCP/Ethernet communication module for CCR remote access. IDM 8000 CCR remote control on serial and TCP protocol.
• Remote control: Parallel or serial interface
• Compatible with MAFI CCR system
• Copatiable with IDM8000 CCR
• Compatible with Backplane mount serial communication.
• Compatible with commercial and Defence aviation CCR system.
• Remote control system for accessing CCR and allied system over serial or TCP.
• Indigenized local Support/presence in India.
Application
• Remote control: Parallel or serial interface.
• Compatible with MAFI CCR system.
• Compatible with IDM8000 CCR.
• Compatible with Backplane mount serial communication.
• Compatible with commercial and Defence aviation CCR system.
• Remote control system for accessing CCR and allied system over serial or TCP.
• Indigenized local Support/presence in India.
• Easy in configuration using DIP switches.
Final project report on grocery store management system..pdfKamal Acharya
In today’s fast-changing business environment, it’s extremely important to be able to respond to client needs in the most effective and timely manner. If your customers wish to see your business online and have instant access to your products or services.
Online Grocery Store is an e-commerce website, which retails various grocery products. This project allows viewing various products available enables registered users to purchase desired products instantly using Paytm, UPI payment processor (Instant Pay) and also can place order by using Cash on Delivery (Pay Later) option. This project provides an easy access to Administrators and Managers to view orders placed using Pay Later and Instant Pay options.
In order to develop an e-commerce website, a number of Technologies must be studied and understood. These include multi-tiered architecture, server and client-side scripting techniques, implementation technologies, programming language (such as PHP, HTML, CSS, JavaScript) and MySQL relational databases. This is a project with the objective to develop a basic website where a consumer is provided with a shopping cart website and also to know about the technologies used to develop such a website.
This document will discuss each of the underlying technologies to create and implement an e- commerce website.
Automobile Management System Project Report.pdfKamal Acharya
The proposed project is developed to manage the automobile in the automobile dealer company. The main module in this project is login, automobile management, customer management, sales, complaints and reports. The first module is the login. The automobile showroom owner should login to the project for usage. The username and password are verified and if it is correct, next form opens. If the username and password are not correct, it shows the error message.
When a customer search for a automobile, if the automobile is available, they will be taken to a page that shows the details of the automobile including automobile name, automobile ID, quantity, price etc. “Automobile Management System” is useful for maintaining automobiles, customers effectively and hence helps for establishing good relation between customer and automobile organization. It contains various customized modules for effectively maintaining automobiles and stock information accurately and safely.
When the automobile is sold to the customer, stock will be reduced automatically. When a new purchase is made, stock will be increased automatically. While selecting automobiles for sale, the proposed software will automatically check for total number of available stock of that particular item, if the total stock of that particular item is less than 5, software will notify the user to purchase the particular item.
Also when the user tries to sale items which are not in stock, the system will prompt the user that the stock is not enough. Customers of this system can search for a automobile; can purchase a automobile easily by selecting fast. On the other hand the stock of automobiles can be maintained perfectly by the automobile shop manager overcoming the drawbacks of existing system.
COLLEGE BUS MANAGEMENT SYSTEM PROJECT REPORT.pdfKamal Acharya
The College Bus Management system is completely developed by Visual Basic .NET Version. The application is connect with most secured database language MS SQL Server. The application is develop by using best combination of front-end and back-end languages. The application is totally design like flat user interface. This flat user interface is more attractive user interface in 2017. The application is gives more important to the system functionality. The application is to manage the student’s details, driver’s details, bus details, bus route details, bus fees details and more. The application has only one unit for admin. The admin can manage the entire application. The admin can login into the application by using username and password of the admin. The application is develop for big and small colleges. It is more user friendly for non-computer person. Even they can easily learn how to manage the application within hours. The application is more secure by the admin. The system will give an effective output for the VB.Net and SQL Server given as input to the system. The compiled java program given as input to the system, after scanning the program will generate different reports. The application generates the report for users. The admin can view and download the report of the data. The application deliver the excel format reports. Because, excel formatted reports is very easy to understand the income and expense of the college bus. This application is mainly develop for windows operating system users. In 2017, 73% of people enterprises are using windows operating system. So the application will easily install for all the windows operating system users. The application-developed size is very low. The application consumes very low space in disk. Therefore, the user can allocate very minimum local disk space for this application.
Courier management system project report.pdfKamal Acharya
It is now-a-days very important for the people to send or receive articles like imported furniture, electronic items, gifts, business goods and the like. People depend vastly on different transport systems which mostly use the manual way of receiving and delivering the articles. There is no way to track the articles till they are received and there is no way to let the customer know what happened in transit, once he booked some articles. In such a situation, we need a system which completely computerizes the cargo activities including time to time tracking of the articles sent. This need is fulfilled by Courier Management System software which is online software for the cargo management people that enables them to receive the goods from a source and send them to a required destination and track their status from time to time.
Democratizing Fuzzing at Scale by Abhishek Aryaabh.arya
Presented at NUS: Fuzzing and Software Security Summer School 2024
This keynote talks about the democratization of fuzzing at scale, highlighting the collaboration between open source communities, academia, and industry to advance the field of fuzzing. It delves into the history of fuzzing, the development of scalable fuzzing platforms, and the empowerment of community-driven research. The talk will further discuss recent advancements leveraging AI/ML and offer insights into the future evolution of the fuzzing landscape.
Immunizing Image Classifiers Against Localized Adversary Attacksgerogepatton
This paper addresses the vulnerability of deep learning models, particularly convolutional neural networks
(CNN)s, to adversarial attacks and presents a proactive training technique designed to counter them. We
introduce a novel volumization algorithm, which transforms 2D images into 3D volumetric representations.
When combined with 3D convolution and deep curriculum learning optimization (CLO), itsignificantly improves
the immunity of models against localized universal attacks by up to 40%. We evaluate our proposed approach
using contemporary CNN architectures and the modified Canadian Institute for Advanced Research (CIFAR-10
and CIFAR-100) and ImageNet Large Scale Visual Recognition Challenge (ILSVRC12) datasets, showcasing
accuracy improvements over previous techniques. The results indicate that the combination of the volumetric
input and curriculum learning holds significant promise for mitigating adversarial attacks without necessitating
adversary training.
About
Indigenized remote control interface card suitable for MAFI system CCR equipment. Compatible for IDM8000 CCR. Backplane mounted serial and TCP/Ethernet communication module for CCR remote access. IDM 8000 CCR remote control on serial and TCP protocol.
• Remote control: Parallel or serial interface.
• Compatible with MAFI CCR system.
• Compatible with IDM8000 CCR.
• Compatible with Backplane mount serial communication.
• Compatible with commercial and Defence aviation CCR system.
• Remote control system for accessing CCR and allied system over serial or TCP.
• Indigenized local Support/presence in India.
• Easy in configuration using DIP switches.
Technical Specifications
Indigenized remote control interface card suitable for MAFI system CCR equipment. Compatible for IDM8000 CCR. Backplane mounted serial and TCP/Ethernet communication module for CCR remote access. IDM 8000 CCR remote control on serial and TCP protocol.
Key Features
Indigenized remote control interface card suitable for MAFI system CCR equipment. Compatible for IDM8000 CCR. Backplane mounted serial and TCP/Ethernet communication module for CCR remote access. IDM 8000 CCR remote control on serial and TCP protocol.
• Remote control: Parallel or serial interface
• Compatible with MAFI CCR system
• Copatiable with IDM8000 CCR
• Compatible with Backplane mount serial communication.
• Compatible with commercial and Defence aviation CCR system.
• Remote control system for accessing CCR and allied system over serial or TCP.
• Indigenized local Support/presence in India.
Application
• Remote control: Parallel or serial interface.
• Compatible with MAFI CCR system.
• Compatible with IDM8000 CCR.
• Compatible with Backplane mount serial communication.
• Compatible with commercial and Defence aviation CCR system.
• Remote control system for accessing CCR and allied system over serial or TCP.
• Indigenized local Support/presence in India.
• Easy in configuration using DIP switches.
Quality defects in TMT Bars, Possible causes and Potential Solutions.PrashantGoswami42
Maintaining high-quality standards in the production of TMT bars is crucial for ensuring structural integrity in construction. Addressing common defects through careful monitoring, standardized processes, and advanced technology can significantly improve the quality of TMT bars. Continuous training and adherence to quality control measures will also play a pivotal role in minimizing these defects.
Overview of the fundamental roles in Hydropower generation and the components involved in wider Electrical Engineering.
This paper presents the design and construction of hydroelectric dams from the hydrologist’s survey of the valley before construction, all aspects and involved disciplines, fluid dynamics, structural engineering, generation and mains frequency regulation to the very transmission of power through the network in the United Kingdom.
Author: Robbie Edward Sayers
Collaborators and co editors: Charlie Sims and Connor Healey.
(C) 2024 Robbie E. Sayers
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)MdTanvirMahtab2
This presentation is about the working procedure of Shahjalal Fertilizer Company Limited (SFCL). A Govt. owned Company of Bangladesh Chemical Industries Corporation under Ministry of Industries.
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...Amil Baba Dawood bangali
Contact with Dawood Bhai Just call on +92322-6382012 and we'll help you. We'll solve all your problems within 12 to 24 hours and with 101% guarantee and with astrology systematic. If you want to take any personal or professional advice then also you can call us on +92322-6382012 , ONLINE LOVE PROBLEM & Other all types of Daily Life Problem's.Then CALL or WHATSAPP us on +92322-6382012 and Get all these problems solutions here by Amil Baba DAWOOD BANGALI
#vashikaranspecialist #astrologer #palmistry #amliyaat #taweez #manpasandshadi #horoscope #spiritual #lovelife #lovespell #marriagespell#aamilbabainpakistan #amilbabainkarachi #powerfullblackmagicspell #kalajadumantarspecialist #realamilbaba #AmilbabainPakistan #astrologerincanada #astrologerindubai #lovespellsmaster #kalajaduspecialist #lovespellsthatwork #aamilbabainlahore#blackmagicformarriage #aamilbaba #kalajadu #kalailam #taweez #wazifaexpert #jadumantar #vashikaranspecialist #astrologer #palmistry #amliyaat #taweez #manpasandshadi #horoscope #spiritual #lovelife #lovespell #marriagespell#aamilbabainpakistan #amilbabainkarachi #powerfullblackmagicspell #kalajadumantarspecialist #realamilbaba #AmilbabainPakistan #astrologerincanada #astrologerindubai #lovespellsmaster #kalajaduspecialist #lovespellsthatwork #aamilbabainlahore #blackmagicforlove #blackmagicformarriage #aamilbaba #kalajadu #kalailam #taweez #wazifaexpert #jadumantar #vashikaranspecialist #astrologer #palmistry #amliyaat #taweez #manpasandshadi #horoscope #spiritual #lovelife #lovespell #marriagespell#aamilbabainpakistan #amilbabainkarachi #powerfullblackmagicspell #kalajadumantarspecialist #realamilbaba #AmilbabainPakistan #astrologerincanada #astrologerindubai #lovespellsmaster #kalajaduspecialist #lovespellsthatwork #aamilbabainlahore #Amilbabainuk #amilbabainspain #amilbabaindubai #Amilbabainnorway #amilbabainkrachi #amilbabainlahore #amilbabaingujranwalan #amilbabainislamabad
Welcome to WIPAC Monthly the magazine brought to you by the LinkedIn Group Water Industry Process Automation & Control.
In this month's edition, along with this month's industry news to celebrate the 13 years since the group was created we have articles including
A case study of the used of Advanced Process Control at the Wastewater Treatment works at Lleida in Spain
A look back on an article on smart wastewater networks in order to see how the industry has measured up in the interim around the adoption of Digital Transformation in the Water Industry.
3. Nonregular languages
Consider the language
.
If we attempt to find a DFA that recognizes
we discover that
such a machine needs to remember how many
s have been
seen so far as it reads the input
The Pumping Lemma forRegular Languages – p.2/39
4. Nonregular languages
Consider the language
.
If we attempt to find a DFA that recognizes
we discover that
such a machine needs to remember how many
s have been
seen so far as it reads the input
Because the number of
s isn’t limited, the machine needs to
keep track of an unlimited number of possibilities
The Pumping Lemma forRegular Languages – p.2/39
5. Nonregular languages
Consider the language
.
If we attempt to find a DFA that recognizes
we discover that
such a machine needs to remember how many
s have been
seen so far as it reads the input
Because the number of
s isn’t limited, the machine needs to
keep track of an unlimited number of possibilities
This cannot be done with any finite number of states
The Pumping Lemma forRegular Languages – p.2/39
6. Intuition may fail us
Just because a language appears to require
unbounded memory to be recognized, it doesn’t mean
that it is necessarily so
The Pumping Lemma forRegular Languages – p.3/39
7. Intuition may fail us
Just because a language appears to require
unbounded memory to be recognized, it doesn’t mean
that it is necessarily so
Example:
The Pumping Lemma forRegular Languages – p.3/39
8. Intuition may fail us
Just because a language appears to require
unbounded memory to be recognized, it doesn’t mean
that it is necessarily so
Example:
has an equal number of 0s and 1s
The Pumping Lemma forRegular Languages – p.3/39
9. Intuition may fail us
Just because a language appears to require
unbounded memory to be recognized, it doesn’t mean
that it is necessarily so
Example:
has an equal number of 0s and 1s
not regular
The Pumping Lemma forRegular Languages – p.3/39
10. Intuition may fail us
Just because a language appears to require
unbounded memory to be recognized, it doesn’t mean
that it is necessarily so
Example:
has an equal number of 0s and 1s
not regular
has equal no of 01 and 10 substrings
The Pumping Lemma forRegular Languages – p.3/39
11. Intuition may fail us
Just because a language appears to require
unbounded memory to be recognized, it doesn’t mean
that it is necessarily so
Example:
has an equal number of 0s and 1s
not regular
has equal no of 01 and 10 substrings
regular
The Pumping Lemma forRegular Languages – p.3/39
12. Language nonregularity
The technique for proving nonregularity of some
language is provided by a theorem about regular
languages called pumping lemma
The Pumping Lemma forRegular Languages – p.4/39
13. Language nonregularity
The technique for proving nonregularity of some
language is provided by a theorem about regular
languages called pumping lemma
Pumping lemma states that all regular languages have
a special property
The Pumping Lemma forRegular Languages – p.4/39
14. Language nonregularity
The technique for proving nonregularity of some
language is provided by a theorem about regular
languages called pumping lemma
Pumping lemma states that all regular languages have
a special property
If we can show that a language does not have this
property we are guaranteed that is not regular.
The Pumping Lemma forRegular Languages – p.4/39
15. Observation
Pumping lemma states that all regular languages have a
special property.
The Pumping Lemma forRegular Languages – p.5/39
16. Observation
Pumping lemma states that all regular languages have a
special property.
Pumping lemma does not state that only regular languages
have this property. Hence, the property used to prove that
a language is not regular does not ensure that language
is regular.
The Pumping Lemma forRegular Languages – p.5/39
17. Observation
Pumping lemma states that all regular languages have a
special property.
Pumping lemma does not state that only regular languages
have this property. Hence, the property used to prove that
a language is not regular does not ensure that language
is regular.
Consequence: A language may not be regular and still have
strings that have all the properties of regular languages.
The Pumping Lemma forRegular Languages – p.5/39
18. Pumping property
All strings in the language can be “pumped if they are at
least as long as a certain value, called the pumping length
The Pumping Lemma forRegular Languages – p.6/39
19. Pumping property
All strings in the language can be “pumped if they are at
least as long as a certain value, called the pumping length
Meaning: each such string in the language contains a sec-
tion that can be repeated any number of times with the re-
sulting string remaining in the language.
The Pumping Lemma forRegular Languages – p.6/39
20. Theorem 1.70
Pumping Lemma: If is a regular language, then there is
a pumping length
such that:
The Pumping Lemma forRegular Languages – p.7/39
21. Theorem 1.70
Pumping Lemma: If is a regular language, then there is
a pumping length
such that:
If is any string in of length at least
,
The Pumping Lemma forRegular Languages – p.7/39
22. Theorem 1.70
Pumping Lemma: If is a regular language, then there is
a pumping length
such that:
If is any string in of length at least
,
Then may be divided into three pieces,
,
satisfying the following conditions:
The Pumping Lemma forRegular Languages – p.7/39
23. Theorem 1.70
Pumping Lemma: If is a regular language, then there is
a pumping length
such that:
If is any string in of length at least
,
Then may be divided into three pieces,
,
satisfying the following conditions:
1. for each
,
The Pumping Lemma forRegular Languages – p.7/39
24. Theorem 1.70
Pumping Lemma: If is a regular language, then there is
a pumping length
such that:
If is any string in of length at least
,
Then may be divided into three pieces,
,
satisfying the following conditions:
1. for each
,
2.
The Pumping Lemma forRegular Languages – p.7/39
25. Theorem 1.70
Pumping Lemma: If is a regular language, then there is
a pumping length
such that:
If is any string in of length at least
,
Then may be divided into three pieces,
,
satisfying the following conditions:
1. for each
,
2.
3.
The Pumping Lemma forRegular Languages – p.7/39
27. Interpretation
Recall that
represents the length of string and
means that
may be concatenated
times, and
When
, either or
may be
, but
The Pumping Lemma forRegular Languages – p.8/39
28. Interpretation
Recall that
represents the length of string and
means that
may be concatenated
times, and
When
, either or
may be
, but
Without condition
theorem would be trivially true
The Pumping Lemma forRegular Languages – p.8/39
29. Proof idea
Let
be a DFA that recognizes
The Pumping Lemma forRegular Languages – p.9/39
30. Proof idea
Let
be a DFA that recognizes
Assign a pumping length
to be the number of states of
The Pumping Lemma forRegular Languages – p.9/39
31. Proof idea
Let
be a DFA that recognizes
Assign a pumping length
to be the number of states of
Show that any string
,
may be broken into three
pieces
satisfying the pumping lemma’s conditions
The Pumping Lemma forRegular Languages – p.9/39
32. More ideas
If and
, consider a sequence of states that
goes through to accept , example:
The Pumping Lemma forRegular Languages – p.10/39
33. More ideas
If and
, consider a sequence of states that
goes through to accept , example:
Since accepts ,
must be final;if
then the
length of
is
The Pumping Lemma forRegular Languages – p.10/39
34. More ideas
If and
, consider a sequence of states that
goes through to accept , example:
Since accepts ,
must be final;if
then the
length of
is
Because
and
it result that
.
The Pumping Lemma forRegular Languages – p.10/39
35. More ideas
If and
, consider a sequence of states that
goes through to accept , example:
Since accepts ,
must be final;if
then the
length of
is
Because
and
it result that
.
By pigeonhole principle:
The Pumping Lemma forRegular Languages – p.10/39
36. More ideas
If and
, consider a sequence of states that
goes through to accept , example:
Since accepts ,
must be final;if
then the
length of
is
Because
and
it result that
.
By pigeonhole principle:
- If p pigeons are placed into fewer than p holes, some holes must
hold more than one pigeon
The Pumping Lemma forRegular Languages – p.10/39
37. More ideas
If and
, consider a sequence of states that
goes through to accept , example:
Since accepts ,
must be final;if
then the
length of
is
Because
and
it result that
.
By pigeonhole principle:
- If p pigeons are placed into fewer than p holes, some holes must
hold more than one pigeon
the sequence
must contain a repeated
state, see Figure 1
The Pumping Lemma forRegular Languages – p.10/39
40. More ideas, continuation
Divide in to the three pieces: ,
, and
Piece
is the part of appearing before
The Pumping Lemma forRegular Languages – p.12/39
41. More ideas, continuation
Divide in to the three pieces: ,
, and
Piece
is the part of appearing before
Piece
is the part of between two appearances of
The Pumping Lemma forRegular Languages – p.12/39
42. More ideas, continuation
Divide in to the three pieces: ,
, and
Piece
is the part of appearing before
Piece
is the part of between two appearances of
Piece
is the part of after the 2nd appearance of
The Pumping Lemma forRegular Languages – p.12/39
43. More ideas, continuation
Divide in to the three pieces: ,
, and
Piece
is the part of appearing before
Piece
is the part of between two appearances of
Piece
is the part of after the 2nd appearance of
In other words:
The Pumping Lemma forRegular Languages – p.12/39
44. More ideas, continuation
Divide in to the three pieces: ,
, and
Piece
is the part of appearing before
Piece
is the part of between two appearances of
Piece
is the part of after the 2nd appearance of
In other words:
takes from
to
,
The Pumping Lemma forRegular Languages – p.12/39
45. More ideas, continuation
Divide in to the three pieces: ,
, and
Piece
is the part of appearing before
Piece
is the part of between two appearances of
Piece
is the part of after the 2nd appearance of
In other words:
takes from
to
,
takes from
to
,
The Pumping Lemma forRegular Languages – p.12/39
46. More ideas, continuation
Divide in to the three pieces: ,
, and
Piece
is the part of appearing before
Piece
is the part of between two appearances of
Piece
is the part of after the 2nd appearance of
In other words:
takes from
to
,
takes from
to
,
takes from
to
The Pumping Lemma forRegular Languages – p.12/39
47. Note
The division specified above satisfies the 3 conditions
The Pumping Lemma forRegular Languages – p.13/39
49. Observations
Suppose that we run on
Condition 1: it is obvious that accepts
,
, and in
general
for all
. For
,
which is also
accepted because
takes to
The Pumping Lemma forRegular Languages – p.14/39
50. Observations
Suppose that we run on
Condition 1: it is obvious that accepts
,
, and in
general
for all
. For
,
which is also
accepted because
takes to
Condition 2: Since
, state
is repeated. Then because
is
the part between two successive occurrences of
,
.
The Pumping Lemma forRegular Languages – p.14/39
51. Observations
Suppose that we run on
Condition 1: it is obvious that accepts
,
, and in
general
for all
. For
,
which is also
accepted because
takes to
Condition 2: Since
, state
is repeated. Then because
is
the part between two successive occurrences of
,
.
Condition 3: makes sure that
is the first repetition in the
sequence. Then by pigeonhole principle, the first
states in
the sequence must contain a repetition. Therefore,
The Pumping Lemma forRegular Languages – p.14/39
52. Pumping lemma’s proof
Let
be a DFA that has
states and
recognizes . Let
be a string over
of
length
. Let
be the sequence of states
while processing , i.e.,
,
The Pumping Lemma forRegular Languages – p.15/39
53. Pumping lemma’s proof
Let
be a DFA that has
states and
recognizes . Let
be a string over
of
length
. Let
be the sequence of states
while processing , i.e.,
,
and among the first
elements in
two must be the same state, say
.
The Pumping Lemma forRegular Languages – p.15/39
54. Pumping lemma’s proof
Let
be a DFA that has
states and
recognizes . Let
be a string over
of
length
. Let
be the sequence of states
while processing , i.e.,
,
and among the first
elements in
two must be the same state, say
.
Because
occurs among the first
places in the sequence
starting at
, we have
The Pumping Lemma forRegular Languages – p.15/39
55. Pumping lemma’s proof
Let
be a DFA that has
states and
recognizes . Let
be a string over
of
length
. Let
be the sequence of states
while processing , i.e.,
,
and among the first
elements in
two must be the same state, say
.
Because
occurs among the first
places in the sequence
starting at
, we have
Now let
,
,
.
The Pumping Lemma forRegular Languages – p.15/39
57. Note
As
takes from
to
,
takes from
to
, and
takes
from
to
, which is an accept state, must accept
,
for
We know that
, so
;
The Pumping Lemma forRegular Languages – p.16/39
58. Note
As
takes from
to
,
takes from
to
, and
takes
from
to
, which is an accept state, must accept
,
for
We know that
, so
;
We also know that
, so
The Pumping Lemma forRegular Languages – p.16/39
59. Note
As
takes from
to
,
takes from
to
, and
takes
from
to
, which is an accept state, must accept
,
for
We know that
, so
;
We also know that
, so
Thus, all conditions are satisfied and lemma is proven
The Pumping Lemma forRegular Languages – p.16/39
60. Before using lemma
Note: To use this lemma we must also ensure that if the
property stated by the pumping lemma is true then the
language is regular.
The Pumping Lemma forRegular Languages – p.17/39
61. Before using lemma
Note: To use this lemma we must also ensure that if the
property stated by the pumping lemma is true then the
language is regular.
Proof: assuming that each element of language satisfies
the three conditions stated in pumping lemma we can
easily construct a FA that recognizes , that is, is regular.
The Pumping Lemma forRegular Languages – p.17/39
62. Before using lemma
Note: To use this lemma we must also ensure that if the
property stated by the pumping lemma is true then the
language is regular.
Proof: assuming that each element of language satisfies
the three conditions stated in pumping lemma we can
easily construct a FA that recognizes , that is, is regular.
Note: if only some elements of satisfy the three conditions it does not
mean that is regular.
The Pumping Lemma forRegular Languages – p.17/39
63. Using pumping lemma (PL)
Proving that a language is not regular using PL:
The Pumping Lemma forRegular Languages – p.18/39
64. Using pumping lemma (PL)
Proving that a language is not regular using PL:
1. Assume that
is regular in order to obtain a contradiction
The Pumping Lemma forRegular Languages – p.18/39
65. Using pumping lemma (PL)
Proving that a language is not regular using PL:
1. Assume that
is regular in order to obtain a contradiction
2. The pumping lemma guarantees the existence of a pumping
length
s.t. all strings of length
or greater in
can be pumped
The Pumping Lemma forRegular Languages – p.18/39
66. Using pumping lemma (PL)
Proving that a language is not regular using PL:
1. Assume that
is regular in order to obtain a contradiction
2. The pumping lemma guarantees the existence of a pumping
length
s.t. all strings of length
or greater in
can be pumped
3. Find
,
, that cannot be pumped: demonstrate that
cannot be pumped by considering all ways of dividing into
,
,
,
showing that for each division one of the pumping lemma
conditions, (1)
, (2)
, (3)
, fails.
The Pumping Lemma forRegular Languages – p.18/39
67. Observations
The existence of contradicts pumping lemma, hence
cannot be regular
The Pumping Lemma forRegular Languages – p.19/39
68. Observations
The existence of contradicts pumping lemma, hence
cannot be regular
Finding sometimes takes a bit of creative thinking.
Experimentation is suggested
The Pumping Lemma forRegular Languages – p.19/39
70. Applications
Example 1: prove that
is not regular
Assume that is regular and let
be the pumping length of
. Choose
; obviously
. By pumping
lemma
such that for any
,
The Pumping Lemma forRegular Languages – p.20/39
72. Example, continuation
Consider the cases:
1.
consists of
s only. In this case
has more
s than
s and
so it is not in
, violating condition 1
The Pumping Lemma forRegular Languages – p.21/39
73. Example, continuation
Consider the cases:
1.
consists of
s only. In this case
has more
s than
s and
so it is not in
, violating condition 1
2.
consists of
s only. This leads to the same contradiction
The Pumping Lemma forRegular Languages – p.21/39
74. Example, continuation
Consider the cases:
1.
consists of
s only. In this case
has more
s than
s and
so it is not in
, violating condition 1
2.
consists of
s only. This leads to the same contradiction
3.
consists of
s and
s. In this case
may have the same
number of
s and
s but they are out of order with some
s before
some
s hence it cannot be in
either
The Pumping Lemma forRegular Languages – p.21/39
75. Example, continuation
Consider the cases:
1.
consists of
s only. In this case
has more
s than
s and
so it is not in
, violating condition 1
2.
consists of
s only. This leads to the same contradiction
3.
consists of
s and
s. In this case
may have the same
number of
s and
s but they are out of order with some
s before
some
s hence it cannot be in
either
The contradiction is unavoidable if we make the assumption
that is regular so is not regular
The Pumping Lemma forRegular Languages – p.21/39
76. Example 2
Prove that
has an equal number of 0s and 1s
is not regular
The Pumping Lemma forRegular Languages – p.22/39
77. Example 2
Prove that
has an equal number of 0s and 1s
is not regular
Proof: assume that is regular and
is its pumping length.
Let
with . Then pumping lemma guarantees
that
, where
for any
.
The Pumping Lemma forRegular Languages – p.22/39
78. Note
If we take the division
,
it seems that
indeed, no contradiction occurs. However:
The Pumping Lemma forRegular Languages – p.23/39
79. Note
If we take the division
,
it seems that
indeed, no contradiction occurs. However:
Condition 3 states that
, and in our case
and
. Hence,
cannot be pumped
The Pumping Lemma forRegular Languages – p.23/39
80. Note
If we take the division
,
it seems that
indeed, no contradiction occurs. However:
Condition 3 states that
, and in our case
and
. Hence,
cannot be pumped
If
then
must consists of only
s, so
because
there are more 1-s than 0-s.
The Pumping Lemma forRegular Languages – p.23/39
81. Note
If we take the division
,
it seems that
indeed, no contradiction occurs. However:
Condition 3 states that
, and in our case
and
. Hence,
cannot be pumped
If
then
must consists of only
s, so
because
there are more 1-s than 0-s.
This gives us the desired contradiction
The Pumping Lemma forRegular Languages – p.23/39
82. Other selections
Selecting
leads us to trouble because this string
can be pumped by the division:
,
,
.
Then
for any
The Pumping Lemma forRegular Languages – p.24/39
83. An alternative method
Use the fact that is nonregular.
The Pumping Lemma forRegular Languages – p.25/39
84. An alternative method
Use the fact that is nonregular.
If were regular then
would also be regular because
is regular and of regular languages is a regular language.
The Pumping Lemma forRegular Languages – p.25/39
85. An alternative method
Use the fact that is nonregular.
If were regular then
would also be regular because
is regular and of regular languages is a regular language.
But
which is not regular.
The Pumping Lemma forRegular Languages – p.25/39
86. An alternative method
Use the fact that is nonregular.
If were regular then
would also be regular because
is regular and of regular languages is a regular language.
But
which is not regular.
Hence, is not regular either.
The Pumping Lemma forRegular Languages – p.25/39
87. Example 3
Show that
is nonregular using
pumping lemma
The Pumping Lemma forRegular Languages – p.26/39
88. Example 3
Show that
is nonregular using
pumping lemma
Proof: Assume that is regular and
is its pumping length.
Consider
. Since
,
and
satisfiesthe conditions of the pumping lemma.
The Pumping Lemma forRegular Languages – p.26/39
89. Note
Condition 3 is again crucial because without it we
could pump if we let
, so
The Pumping Lemma forRegular Languages – p.27/39
90. Note
Condition 3 is again crucial because without it we
could pump if we let
, so
The string
exhibits the essence of the
nonregularity of .
The Pumping Lemma forRegular Languages – p.27/39
91. Note
Condition 3 is again crucial because without it we
could pump if we let
, so
The string
exhibits the essence of the
nonregularity of .
If we chose, say
we fail because this string
can be pumped
The Pumping Lemma forRegular Languages – p.27/39
93. Example 4
Show that
is nonregular.
Proof by contradiction: Assume that is regular and let
be its pumping length. Consider
,
.
Pumping lemma guarantees that can be split,
,
where for all
,
The Pumping Lemma forRegular Languages – p.28/39
94. Searching for a contradiction
The elements of are strings whose lengths are perfect
squares. Looking at first perfect squareswe observe that
they are: 0, 1, 4, 9, 25, 36, 49, 64, 81,
The Pumping Lemma forRegular Languages – p.29/39
95. Searching for a contradiction
The elements of are strings whose lengths are perfect
squares. Looking at first perfect squareswe observe that
they are: 0, 1, 4, 9, 25, 36, 49, 64, 81,
Note the growing gap between these numbers: large members
cannot be near each other
The Pumping Lemma forRegular Languages – p.29/39
96. Searching for a contradiction
The elements of are strings whose lengths are perfect
squares. Looking at first perfect squareswe observe that
they are: 0, 1, 4, 9, 25, 36, 49, 64, 81,
Note the growing gap between these numbers: large members
cannot be near each other
Consider two strings
and
which differ from each other
by a single repetition of
.
The Pumping Lemma forRegular Languages – p.29/39
97. Searching for a contradiction
The elements of are strings whose lengths are perfect
squares. Looking at first perfect squareswe observe that
they are: 0, 1, 4, 9, 25, 36, 49, 64, 81,
Note the growing gap between these numbers: large members
cannot be near each other
Consider two strings
and
which differ from each other
by a single repetition of
.
If we chose very large the lengths of
and
cannot be
both perfect square because they are too close to each other.
The Pumping Lemma forRegular Languages – p.29/39
98. Turning this idea into a proof
Calculate the value of
that gives us the contradiction.
The Pumping Lemma forRegular Languages – p.30/39
99. Turning this idea into a proof
Calculate the value of
that gives us the contradiction.
If
, calculating the difference we obtain
The Pumping Lemma forRegular Languages – p.30/39
100. Turning this idea into a proof
Calculate the value of
that gives us the contradiction.
If
, calculating the difference we obtain
By pumping lemma
and
are both perfect
squares. But letting
we can see that they
cannot be both perfect square if
,
because they would be too close together.
The Pumping Lemma forRegular Languages – p.30/39
101. Value of for contradiction
To calculate the value for
that leads to contradiction we
observe that:
The Pumping Lemma forRegular Languages – p.31/39
102. Value of for contradiction
To calculate the value for
that leads to contradiction we
observe that:
The Pumping Lemma forRegular Languages – p.31/39
103. Value of for contradiction
To calculate the value for
that leads to contradiction we
observe that:
Let
. Then
The Pumping Lemma forRegular Languages – p.31/39
104. Example 5
Sometimes “pumping down is useful when we apply
pumping lemma.
The Pumping Lemma forRegular Languages – p.32/39
105. Example 5
Sometimes “pumping down is useful when we apply
pumping lemma.
We illustrate this using pumping lemma to prove that
is not regular
The Pumping Lemma forRegular Languages – p.32/39
106. Example 5
Sometimes “pumping down is useful when we apply
pumping lemma.
We illustrate this using pumping lemma to prove that
is not regular
Proof: by contradiction using pumping lemma. Assume that is
regular and its pumping length is
.
The Pumping Lemma forRegular Languages – p.32/39
107. Searching for a contradiction
Let
; From decomposition
, from
condition 3,
it results that
consists only of 0s.
The Pumping Lemma forRegular Languages – p.33/39
108. Searching for a contradiction
Let
; From decomposition
, from
condition 3,
it results that
consists only of 0s.
Let us examine
to see if it is in . Adding an
extra-copy of
increases the number of zeros. Since
contains all strings
that have more 0s than 1s, it
will still give a string in
The Pumping Lemma forRegular Languages – p.33/39
109. Searching for a contradiction
Let
; From decomposition
, from
condition 3,
it results that
consists only of 0s.
Let us examine
to see if it is in . Adding an
extra-copy of
increases the number of zeros. Since
contains all strings
that have more 0s than 1s, it
will still give a string in
The Pumping Lemma forRegular Languages – p.33/39
111. Try something else
Since
even when
, consider
and
.
This decreases the number of 0s in .
The Pumping Lemma forRegular Languages – p.34/39
112. Try something else
Since
even when
, consider
and
.
This decreases the number of 0s in .
Since has just one more 0 than 1 and
cannot have
more 0s than 1s,
(
and
)
cannot be in .
The Pumping Lemma forRegular Languages – p.34/39
113. Try something else
Since
even when
, consider
and
.
This decreases the number of 0s in .
Since has just one more 0 than 1 and
cannot have
more 0s than 1s,
(
and
)
cannot be in .
This is the required contradiction
The Pumping Lemma forRegular Languages – p.34/39
114. Minimum pumping length
The pumping lemma says that every regular language
has a pumping length
, such that every string in the
language of length at least
can be pumped.
The Pumping Lemma forRegular Languages – p.35/39
115. Minimum pumping length
The pumping lemma says that every regular language
has a pumping length
, such that every string in the
language of length at least
can be pumped.
Hence, if
is a pumping length for a regular language
so is any length
.
The Pumping Lemma forRegular Languages – p.35/39
116. Minimum pumping length
The pumping lemma says that every regular language
has a pumping length
, such that every string in the
language of length at least
can be pumped.
Hence, if
is a pumping length for a regular language
so is any length
.
The minimum pumping length for is the smallest
that is a pumping length for .
The Pumping Lemma forRegular Languages – p.35/39
118. Example
Consider
. The minimum pumping length for is 2.
Reason: the string
,
and cannot be pumped. But any
string
,
can be pumped because for
where
,
,
and
. Hence, the minimum pumping length for
is 2.
The Pumping Lemma forRegular Languages – p.36/39
119. Problem 1
Find the minimum pumping length for the language
.
The Pumping Lemma forRegular Languages – p.37/39
120. Problem 1
Find the minimum pumping length for the language
.
Solution: The minimum pumping length for
is 4.
Reason:
but
cannot be pumped. Hence, 3 is not a
pumping length for
. If
and
can be pumped by
the division
,
,
,
.
The Pumping Lemma forRegular Languages – p.37/39
121. Problem 2
Find the minimum pumping length for the language
.
The Pumping Lemma forRegular Languages – p.38/39
122. Problem 2
Find the minimum pumping length for the language
.
Solution: The minimum pumping length of
is 1.
The Pumping Lemma forRegular Languages – p.38/39
123. Problem 2
Find the minimum pumping length for the language
.
Solution: The minimum pumping length of
is 1.
Reason: the minimum pumping length for
cannot be 0 because is
in the language but cannot be pumped. Every nonempty string
,
can be pumped by the division:
,
,
first character
of and
the rest of .
The Pumping Lemma forRegular Languages – p.38/39
124. Problem 3
Find the minimum pumping length for the language
.
The Pumping Lemma forRegular Languages – p.39/39
125. Problem 3
Find the minimum pumping length for the language
.
Solution: The minimum pumping length for
is 3.
The Pumping Lemma forRegular Languages – p.39/39
126. Problem 3
Find the minimum pumping length for the language
.
Solution: The minimum pumping length for
is 3.
Reason: The pumping length cannot be 2 because the string
is in the
language and it cannot be pumped. Let be a string in the language
of length at least 3. If is generated by
we can write is as
,
,
is the first symbol of , and
is the rest of the string.
If is generated by
we can write it as
,
,
and
is the remainder of .
The Pumping Lemma forRegular Languages – p.39/39