SlideShare a Scribd company logo
1 of 24
1
Lecture-2 Recap Lecture-1
Introduction to the course title, Formal and In-
formal languages, Alphabets, Strings, Null
string, Words, Valid and In-valid alphabets,
length of a string, Reverse of a string, Defining
languages, Descriptive definition of languages,
EQUAL, EVEN-EVEN, INTEGER, EVEN, { an
bn
},
{ an
bn
an
}, factorial, FACTORIAL,
DOUBLEFACTORIAL, SQUARE,
DOUBLESQUARE, PRIME, PALINDROME.
2
Task
Q) Prove that there are as many palindromes
of length 2n, defined over Σ = {a,b,c}, as
there are of length 2n-1, n = 1,2,3… .
Determine the number of palindromes of
length 2n defined over the same alphabet as
well.
3
Solution
To calculate the number of palindromes
of length(2n), consider the following
diagram,
4
which shows that there are as many
palindromes of length 2n as there are the strings
of length n i.e. the required number of
palindromes are 3n
(as there are three letters in
the given alphabet, so the number of strings of
length n will be 3n
).
5
To calculate the number of palindromes
of length (2n-1) with a as the middle
letter, consider the following diagram,
6
which shows that there are as many
palindromes of length 2n-1, with a as middle
letter, as there are the strings of length n-1, i.e.
the required number of palindromes are 3n-1
.
Similarly the number of palindromes of length
2n-1, with b or c as middle letter, will be 3n-1
as
well. Hence the total number of palindromes of
length 2n-1 will be 3n-1
+ 3n-1
+ 3n-1
= 3 (3n-1
)= 3n
.
7
Kleene Star Closure
Given Σ, then the Kleene Star Closure of the
alphabet Σ, denoted by Σ*, is the collection of
all strings defined over Σ, including Λ.
It is to be noted that Kleene Star Closure can
be defined over any set of strings.
8
Examples
If Σ = {x}
Then Σ*
= {Λ, x, xx, xxx, xxxx, ….}
If Σ = {0,1}
Then Σ*
= {Λ, 0, 1, 00, 01, 10, 11, ….}
If Σ = {aaB, c} d
Then Σ* = {Λ, aaB, c, aaBaaB, aaBc, caaB,
cc, ….}
9
Note
Languages generated by Kleene Star
Closure of set of strings, are infinite
languages. (By infinite language, it is
supposed that the language contains infinite
many words, each of finite length).
10
Task
Q)
1) Let S={ab, bb} and T={ab, bb, bbbb} Show
that S*
= T*
[Hint S*
 T*
and T*
 S*
]
2) Let S={ab, bb} and T={ab, bb, bbb} Show
that S*
≠ T*
But S*
⊂ T*
3) Let S={a, bb, bab, abaab} be a set of strings.
Are abbabaabab and baabbbabbaabb in S*
?
Does any word in S*
have odd number of
b’s?
11
PLUS Operation (+
)
Plus Operation is same as Kleene Star Closure
except that it does not generate Λ (null string),
automatically.
Example:
If Σ = {0,1}
Then Σ+
= {0, 1, 00, 01, 10, 11, ….}
If Σ = {aab, c}
Then Σ+
= {aab, c, aabaab, aabc, caab, cc, ….}
12
TASK
Q1)Is there any case when S+
contains Λ? If
yes then justify your answer.
Q2) Prove that for any set of strings S
i. (S+
)*
=(S*
)*
ii. (S+
)+
=S+
iii. Is (S*
)+
=(S+
)*
13
Remark
It is to be noted that Kleene Star can also be
operated on any string i.e. a*
can be considered
to be all possible strings defined over {a}, which
shows that a*
generates
Λ, a, aa, aaa, …
It may also be noted that a+
can be considered to
be all possible non empty strings defined over
{a}, which shows that a+
generates
a, aa, aaa, aaaa, …
14
Defining Languages Continued…
Recursive definition of languages
The following three steps are used in recursive
definition
1. Some basic words are specified in the
language.
2. Rules for constructing more words are defined
in the language.
3. No strings except those constructed in above,
are allowed to be in the language.
15
Example
Defining language of INTEGER
Step 1:
1 is in INTEGER.
Step 2:
If x is in INTEGER then x+1 and x-1 are
also in INTEGER.
Step 3:
No strings except those constructed in
above, are allowed to be in INTEGER.
16
Example
Defining language of EVEN
Step 1:
2 is in EVEN.
Step 2:
If x is in EVEN then x+2 and x-2 are also in
EVEN.
Step 3:
No strings except those constructed in above,
are allowed to be in EVEN.
17
Example
Defining the language factorial
Step 1:
As 0!=1, so 1 is in factorial.
Step 2:
n!=n*(n-1)! is in factorial.
Step 3:
No strings except those constructed in above,
are allowed to be in factorial.
18
Defining the language PALINDROME,
defined over Σ = {a,b}
Step 1:
a and b are in PALINDROME
Step 2:
if x is palindrome, then s(x)Rev(s) and xx will
also be palindrome, where s belongs to Σ*
Step 3:
No strings except those constructed in
above, are allowed to be in palindrome
19
Defining the language {an
bn
}, n=1,2,3,… ,
of strings defined over Σ={a,b}
Step 1:
ab is in {an
bn
}
Step 2:
if x is in {an
bn
}, then axb is in {an
bn
}
Step 3:
No strings except those constructed in
above, are allowed to be in {an
bn
}
20
Defining the language L, of strings
ending in a , defined over Σ={a,b}
Step 1:
a is in L
Step 2:
if x is in L then s(x) is also in L, where s belongs
to Σ*
Step 3:
No strings except those constructed in
above, are allowed to be in L
21
Defining the language L, of strings
beginning and ending in same letters ,
defined over Σ={a, b}
Step 1:
a and b are in L
Step 2:
(a)s(a) and (b)s(b) are also in L, where s
belongs to Σ*
Step 3:
No strings except those constructed in
above, are allowed to be in L
22
Defining the language L, of strings
containing aa or bb , defined over
Σ={a, b}
Step 1:
aa and bb are in L
Step 2:
s(aa)s and s(bb)s are also in L, where s
belongs to Σ*
Step 3:
No strings except those constructed in
above, are allowed to be in L
23
Defining the language L, of strings
containing exactly aa, defined over
Σ={a, b}
Step 1:
aa is in L
Step 2:
s(aa)s is also in L, where s belongs to b*
Step 3:
No strings except those constructed in
above, are allowed to be in L
24
Summing Up
Kleene Star Closure, Plus operation, recursive
definition of languages, INTEGER, EVEN,
factorial, PALINDROME, {an
bn
}, languages of
strings (i) ending in a, (ii) beginning and ending
in same letters, (iii) containing aa or bb
(iv)containing exactly aa,

More Related Content

What's hot

Theory of computing
Theory of computingTheory of computing
Theory of computing
Ranjan Kumar
 

What's hot (20)

Theory of Automata Lesson 01
 Theory of Automata Lesson 01  Theory of Automata Lesson 01
Theory of Automata Lesson 01
 
Lecture 6
Lecture 6Lecture 6
Lecture 6
 
Introduction to Computer theory Daniel Cohen Chapter 2 Solutions
Introduction to Computer theory Daniel Cohen Chapter 2 SolutionsIntroduction to Computer theory Daniel Cohen Chapter 2 Solutions
Introduction to Computer theory Daniel Cohen Chapter 2 Solutions
 
Lesson 05
Lesson 05Lesson 05
Lesson 05
 
Language
LanguageLanguage
Language
 
Lecture 3,4
Lecture 3,4Lecture 3,4
Lecture 3,4
 
Theory of automata and formal language
Theory of automata and formal languageTheory of automata and formal language
Theory of automata and formal language
 
Theory of computing
Theory of computingTheory of computing
Theory of computing
 
Lecture 8
Lecture 8Lecture 8
Lecture 8
 
Automata theory
Automata theoryAutomata theory
Automata theory
 
Theory of automata and formal language
Theory of automata and formal languageTheory of automata and formal language
Theory of automata and formal language
 
Lesson 10
Lesson 10Lesson 10
Lesson 10
 
Chomsky classification of Language
Chomsky classification of LanguageChomsky classification of Language
Chomsky classification of Language
 
Theory of computation Lec1
Theory of computation Lec1Theory of computation Lec1
Theory of computation Lec1
 
Introduction to Computer theory (Automata Theory) 2nd Edition By Denial I.A. ...
Introduction to Computer theory (Automata Theory) 2nd Edition By Denial I.A. ...Introduction to Computer theory (Automata Theory) 2nd Edition By Denial I.A. ...
Introduction to Computer theory (Automata Theory) 2nd Edition By Denial I.A. ...
 
2.5 ambiguity in context free grammars
2.5 ambiguity in context free grammars2.5 ambiguity in context free grammars
2.5 ambiguity in context free grammars
 
Lesson 12
Lesson 12Lesson 12
Lesson 12
 
NLP_KASHK:Regular Expressions
NLP_KASHK:Regular Expressions NLP_KASHK:Regular Expressions
NLP_KASHK:Regular Expressions
 
10 Regular VS Non Regular Language.pptx
10 Regular VS Non Regular Language.pptx10 Regular VS Non Regular Language.pptx
10 Regular VS Non Regular Language.pptx
 
Regular expressions
Regular expressionsRegular expressions
Regular expressions
 

Similar to Lesson 02

Final formal languages
Final formal languagesFinal formal languages
Final formal languages
Megha Khanna
 
Class1
 Class1 Class1
Class1
issbp
 
Lesson 01.ppt
Lesson 01.pptLesson 01.ppt
Lesson 01.ppt
ImXaib
 

Similar to Lesson 02 (20)

Theory of Automata ___ Basis ...........
Theory of Automata ___ Basis ...........Theory of Automata ___ Basis ...........
Theory of Automata ___ Basis ...........
 
Lesson-01-29092022-081117pm.ppt
Lesson-01-29092022-081117pm.pptLesson-01-29092022-081117pm.ppt
Lesson-01-29092022-081117pm.ppt
 
L_2_apl.pptx
L_2_apl.pptxL_2_apl.pptx
L_2_apl.pptx
 
theory of computation lecture 02
theory of computation lecture 02theory of computation lecture 02
theory of computation lecture 02
 
Mod 2_RegularExpressions.pptx
Mod 2_RegularExpressions.pptxMod 2_RegularExpressions.pptx
Mod 2_RegularExpressions.pptx
 
01-Introduction&Languages.pdf
01-Introduction&Languages.pdf01-Introduction&Languages.pdf
01-Introduction&Languages.pdf
 
01 alphabets strings and languages
01 alphabets strings and languages01 alphabets strings and languages
01 alphabets strings and languages
 
Chapter2CDpdf__2021_11_26_09_19_08.pdf
Chapter2CDpdf__2021_11_26_09_19_08.pdfChapter2CDpdf__2021_11_26_09_19_08.pdf
Chapter2CDpdf__2021_11_26_09_19_08.pdf
 
Chapter1 Formal Language and Automata Theory
Chapter1 Formal Language and Automata TheoryChapter1 Formal Language and Automata Theory
Chapter1 Formal Language and Automata Theory
 
PART A.doc
PART A.docPART A.doc
PART A.doc
 
Chapter 3 REGULAR EXPRESSION.pdf
Chapter 3 REGULAR EXPRESSION.pdfChapter 3 REGULAR EXPRESSION.pdf
Chapter 3 REGULAR EXPRESSION.pdf
 
UNIT_-_II.docx
UNIT_-_II.docxUNIT_-_II.docx
UNIT_-_II.docx
 
Final formal languages
Final formal languagesFinal formal languages
Final formal languages
 
Regular Expression
Regular ExpressionRegular Expression
Regular Expression
 
Class1
 Class1 Class1
Class1
 
10651372.ppt
10651372.ppt10651372.ppt
10651372.ppt
 
Automata definitions
Automata definitionsAutomata definitions
Automata definitions
 
To lec 03
To lec 03To lec 03
To lec 03
 
Lesson 01.ppt
Lesson 01.pptLesson 01.ppt
Lesson 01.ppt
 
Theory of computation
Theory of computationTheory of computation
Theory of computation
 

Recently uploaded

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
ssuser89054b
 
Standard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power PlayStandard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power Play
Epec Engineered Technologies
 
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak HamilCara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
Cara Menggugurkan Kandungan 087776558899
 
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
dollysharma2066
 
Call Girls In Bangalore ☎ 7737669865 🥵 Book Your One night Stand
Call Girls In Bangalore ☎ 7737669865 🥵 Book Your One night StandCall Girls In Bangalore ☎ 7737669865 🥵 Book Your One night Stand
Call Girls In Bangalore ☎ 7737669865 🥵 Book Your One night Stand
amitlee9823
 

Recently uploaded (20)

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
 
Work-Permit-Receiver-in-Saudi-Aramco.pptx
Work-Permit-Receiver-in-Saudi-Aramco.pptxWork-Permit-Receiver-in-Saudi-Aramco.pptx
Work-Permit-Receiver-in-Saudi-Aramco.pptx
 
Thermal Engineering Unit - I & II . ppt
Thermal Engineering  Unit - I & II . pptThermal Engineering  Unit - I & II . ppt
Thermal Engineering Unit - I & II . ppt
 
Double Revolving field theory-how the rotor develops torque
Double Revolving field theory-how the rotor develops torqueDouble Revolving field theory-how the rotor develops torque
Double Revolving field theory-how the rotor develops torque
 
chapter 5.pptx: drainage and irrigation engineering
chapter 5.pptx: drainage and irrigation engineeringchapter 5.pptx: drainage and irrigation engineering
chapter 5.pptx: drainage and irrigation engineering
 
UNIT - IV - Air Compressors and its Performance
UNIT - IV - Air Compressors and its PerformanceUNIT - IV - Air Compressors and its Performance
UNIT - IV - Air Compressors and its Performance
 
Thermal Engineering-R & A / C - unit - V
Thermal Engineering-R & A / C - unit - VThermal Engineering-R & A / C - unit - V
Thermal Engineering-R & A / C - unit - V
 
Standard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power PlayStandard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power Play
 
ONLINE FOOD ORDER SYSTEM PROJECT REPORT.pdf
ONLINE FOOD ORDER SYSTEM PROJECT REPORT.pdfONLINE FOOD ORDER SYSTEM PROJECT REPORT.pdf
ONLINE FOOD ORDER SYSTEM PROJECT REPORT.pdf
 
Block diagram reduction techniques in control systems.ppt
Block diagram reduction techniques in control systems.pptBlock diagram reduction techniques in control systems.ppt
Block diagram reduction techniques in control systems.ppt
 
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak HamilCara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
 
Generative AI or GenAI technology based PPT
Generative AI or GenAI technology based PPTGenerative AI or GenAI technology based PPT
Generative AI or GenAI technology based PPT
 
Minimum and Maximum Modes of microprocessor 8086
Minimum and Maximum Modes of microprocessor 8086Minimum and Maximum Modes of microprocessor 8086
Minimum and Maximum Modes of microprocessor 8086
 
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
 
Unit 2- Effective stress & Permeability.pdf
Unit 2- Effective stress & Permeability.pdfUnit 2- Effective stress & Permeability.pdf
Unit 2- Effective stress & Permeability.pdf
 
Call Girls In Bangalore ☎ 7737669865 🥵 Book Your One night Stand
Call Girls In Bangalore ☎ 7737669865 🥵 Book Your One night StandCall Girls In Bangalore ☎ 7737669865 🥵 Book Your One night Stand
Call Girls In Bangalore ☎ 7737669865 🥵 Book Your One night Stand
 
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...
 
2016EF22_0 solar project report rooftop projects
2016EF22_0 solar project report rooftop projects2016EF22_0 solar project report rooftop projects
2016EF22_0 solar project report rooftop projects
 
FEA Based Level 3 Assessment of Deformed Tanks with Fluid Induced Loads
FEA Based Level 3 Assessment of Deformed Tanks with Fluid Induced LoadsFEA Based Level 3 Assessment of Deformed Tanks with Fluid Induced Loads
FEA Based Level 3 Assessment of Deformed Tanks with Fluid Induced Loads
 
Call Girls Wakad Call Me 7737669865 Budget Friendly No Advance Booking
Call Girls Wakad Call Me 7737669865 Budget Friendly No Advance BookingCall Girls Wakad Call Me 7737669865 Budget Friendly No Advance Booking
Call Girls Wakad Call Me 7737669865 Budget Friendly No Advance Booking
 

Lesson 02

  • 1. 1 Lecture-2 Recap Lecture-1 Introduction to the course title, Formal and In- formal languages, Alphabets, Strings, Null string, Words, Valid and In-valid alphabets, length of a string, Reverse of a string, Defining languages, Descriptive definition of languages, EQUAL, EVEN-EVEN, INTEGER, EVEN, { an bn }, { an bn an }, factorial, FACTORIAL, DOUBLEFACTORIAL, SQUARE, DOUBLESQUARE, PRIME, PALINDROME.
  • 2. 2 Task Q) Prove that there are as many palindromes of length 2n, defined over Σ = {a,b,c}, as there are of length 2n-1, n = 1,2,3… . Determine the number of palindromes of length 2n defined over the same alphabet as well.
  • 3. 3 Solution To calculate the number of palindromes of length(2n), consider the following diagram,
  • 4. 4 which shows that there are as many palindromes of length 2n as there are the strings of length n i.e. the required number of palindromes are 3n (as there are three letters in the given alphabet, so the number of strings of length n will be 3n ).
  • 5. 5 To calculate the number of palindromes of length (2n-1) with a as the middle letter, consider the following diagram,
  • 6. 6 which shows that there are as many palindromes of length 2n-1, with a as middle letter, as there are the strings of length n-1, i.e. the required number of palindromes are 3n-1 . Similarly the number of palindromes of length 2n-1, with b or c as middle letter, will be 3n-1 as well. Hence the total number of palindromes of length 2n-1 will be 3n-1 + 3n-1 + 3n-1 = 3 (3n-1 )= 3n .
  • 7. 7 Kleene Star Closure Given Σ, then the Kleene Star Closure of the alphabet Σ, denoted by Σ*, is the collection of all strings defined over Σ, including Λ. It is to be noted that Kleene Star Closure can be defined over any set of strings.
  • 8. 8 Examples If Σ = {x} Then Σ* = {Λ, x, xx, xxx, xxxx, ….} If Σ = {0,1} Then Σ* = {Λ, 0, 1, 00, 01, 10, 11, ….} If Σ = {aaB, c} d Then Σ* = {Λ, aaB, c, aaBaaB, aaBc, caaB, cc, ….}
  • 9. 9 Note Languages generated by Kleene Star Closure of set of strings, are infinite languages. (By infinite language, it is supposed that the language contains infinite many words, each of finite length).
  • 10. 10 Task Q) 1) Let S={ab, bb} and T={ab, bb, bbbb} Show that S* = T* [Hint S*  T* and T*  S* ] 2) Let S={ab, bb} and T={ab, bb, bbb} Show that S* ≠ T* But S* ⊂ T* 3) Let S={a, bb, bab, abaab} be a set of strings. Are abbabaabab and baabbbabbaabb in S* ? Does any word in S* have odd number of b’s?
  • 11. 11 PLUS Operation (+ ) Plus Operation is same as Kleene Star Closure except that it does not generate Λ (null string), automatically. Example: If Σ = {0,1} Then Σ+ = {0, 1, 00, 01, 10, 11, ….} If Σ = {aab, c} Then Σ+ = {aab, c, aabaab, aabc, caab, cc, ….}
  • 12. 12 TASK Q1)Is there any case when S+ contains Λ? If yes then justify your answer. Q2) Prove that for any set of strings S i. (S+ )* =(S* )* ii. (S+ )+ =S+ iii. Is (S* )+ =(S+ )*
  • 13. 13 Remark It is to be noted that Kleene Star can also be operated on any string i.e. a* can be considered to be all possible strings defined over {a}, which shows that a* generates Λ, a, aa, aaa, … It may also be noted that a+ can be considered to be all possible non empty strings defined over {a}, which shows that a+ generates a, aa, aaa, aaaa, …
  • 14. 14 Defining Languages Continued… Recursive definition of languages The following three steps are used in recursive definition 1. Some basic words are specified in the language. 2. Rules for constructing more words are defined in the language. 3. No strings except those constructed in above, are allowed to be in the language.
  • 15. 15 Example Defining language of INTEGER Step 1: 1 is in INTEGER. Step 2: If x is in INTEGER then x+1 and x-1 are also in INTEGER. Step 3: No strings except those constructed in above, are allowed to be in INTEGER.
  • 16. 16 Example Defining language of EVEN Step 1: 2 is in EVEN. Step 2: If x is in EVEN then x+2 and x-2 are also in EVEN. Step 3: No strings except those constructed in above, are allowed to be in EVEN.
  • 17. 17 Example Defining the language factorial Step 1: As 0!=1, so 1 is in factorial. Step 2: n!=n*(n-1)! is in factorial. Step 3: No strings except those constructed in above, are allowed to be in factorial.
  • 18. 18 Defining the language PALINDROME, defined over Σ = {a,b} Step 1: a and b are in PALINDROME Step 2: if x is palindrome, then s(x)Rev(s) and xx will also be palindrome, where s belongs to Σ* Step 3: No strings except those constructed in above, are allowed to be in palindrome
  • 19. 19 Defining the language {an bn }, n=1,2,3,… , of strings defined over Σ={a,b} Step 1: ab is in {an bn } Step 2: if x is in {an bn }, then axb is in {an bn } Step 3: No strings except those constructed in above, are allowed to be in {an bn }
  • 20. 20 Defining the language L, of strings ending in a , defined over Σ={a,b} Step 1: a is in L Step 2: if x is in L then s(x) is also in L, where s belongs to Σ* Step 3: No strings except those constructed in above, are allowed to be in L
  • 21. 21 Defining the language L, of strings beginning and ending in same letters , defined over Σ={a, b} Step 1: a and b are in L Step 2: (a)s(a) and (b)s(b) are also in L, where s belongs to Σ* Step 3: No strings except those constructed in above, are allowed to be in L
  • 22. 22 Defining the language L, of strings containing aa or bb , defined over Σ={a, b} Step 1: aa and bb are in L Step 2: s(aa)s and s(bb)s are also in L, where s belongs to Σ* Step 3: No strings except those constructed in above, are allowed to be in L
  • 23. 23 Defining the language L, of strings containing exactly aa, defined over Σ={a, b} Step 1: aa is in L Step 2: s(aa)s is also in L, where s belongs to b* Step 3: No strings except those constructed in above, are allowed to be in L
  • 24. 24 Summing Up Kleene Star Closure, Plus operation, recursive definition of languages, INTEGER, EVEN, factorial, PALINDROME, {an bn }, languages of strings (i) ending in a, (ii) beginning and ending in same letters, (iii) containing aa or bb (iv)containing exactly aa,