Lesson 02
Lesson 02
1
Kleene Star Closure
2
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, ….}
3
Note
4
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?
5
PLUS Operation (+)
6
TASK
i. (S+)*=(S*)*
ii. (S+)+=S+
iii. Is (S*)+=(S+)*
7
Remark
8
Defining Languages Continued…
9
Example
10
Example
11
Example
12
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
13
Defining the language {anbn }, n=1,2,3,… ,
of strings defined over Σ={a,b}
Step 1:
ab is in {anbn}
Step 2:
if x is in {anbn}, then axb is in {anbn}
Step 3:
No strings except those constructed in
above, are allowed to be in {anbn}
14
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
15
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
16
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
17
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
18
Summing Up
19