TOA Lesson 02
TOA Lesson 02
2
Solution
3
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
).
4
To calculate the number of
palindromes of length (2n-1) with a
as the middle letter, consider the
following diagram,
5
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 .
6
Kleene Star Closure
7
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, ….}
8
Note
9
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?
10
PLUS Operation (+)
i. (S+)*=(S*)*
ii. (S+)+=S+
iii. Is (S*)+=(S+)*
12
Remark
14
Example
15
Example
16
Example
17
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
18
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}
19
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
20
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
21
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
22
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
23
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*
Solution: Since S T , so every string
belonging to S* , also belongs to T* but bbb is
a string belongs to T* but does not belong to
S *.
24
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?
Solution: since abbabaabab can be grouped as
(a)(bb)(abaab)ab , which shows that the last
member of the group does not belong to S, so
abbabaabab is not in S*, while baabbbabbaabb
can not be grouped as members of S, hence
baabbbabbaabb is not in S*. Since each string in S
has even number of b’s so there is no possiblity
of any string with odd number of b’s to be in S*.
25
Task
26
Q2) Prove that for any set of strings S
i. (S+)*=(S*)*
Solution: In general Λ is not in S+ , while
Λ does belong to S*. Obviously Λ will
now be in (S+)*, while (S*)* and S*
generate the same set of strings.
Hence (S+)*=(S*)*.
27
Q2) continued…
ii) (S+)+=S+
Solution: since S+ generates all possible
strings that can be obtained by
concatenating the strings of S, so (S+)+
generates all possible strings that can
be obtained by concatenating the
strings of S+ , will not generate any
new string.
Hence (S+)+=S+
28
Q2) continued…
iii) Is (S*)+=(S+)*
Solution: since Λ belongs to S* ,so Λ
will belong to (S*)+ as member of
S* .Moreover Λ may not belong to S+,
in general, while Λ will automatically
belong to (S+)*.
Hence (S*)+=(S+)*
29
Summing Up
30