Scribd
Upload
17 views

Lesson 07

Uploaded by

Joveria Nawaz
Copyright
© © All Rights Reserved
Available Formats
Download as PPT, PDF, TXT or read online on Scribd
17 views

Lesson 07

Uploaded by

Joveria Nawaz
Copyright
© © All Rights Reserved
Available Formats
Download as PPT, PDF, TXT or read online on Scribd
You are on page 1/ 20

Recap lecture 6

 Language of strings, beginning with and


ending in different letters, Accepting all
strings, accepting non-empty strings,
accepting no string, containing double a’s,
having double 0’s or double 1’s, containing
triple a’s or triple b’s, EVEN-EVEN

1
Example EVEN-EVEN continued …

1 3
b

a a a a

2 4
b

2
FA corresponding to finite
languages

 Example
Consider the language
L = {Λ, b, ab, bb}, defined over
Σ ={a, b}, expressed by
Λ + b + ab + bb OR Λ + b (Λ + a + b).
The language L may be accepted by the
following FA

3
a,b

Example continued … y

a
a,b

1  a 3 b
+
4

b
+
2
b +
5

a a,b

x
a,b
4
Example Continued …

 It is to be noted that the states x and y are


called Dead States, Waste Baskets or
Davey John Lockers, as the moment one
enters these states there is no way to leave it.

5
Note

 It is to be noted that to build an FA accepting


the language having less number of strings, the
tree structure may also help in this regard,
which can be observed in the following
transition diagram for the Language L, discussed
in the previous example

6
4
a

3 a,b
b
a a,b
5+ a,b
1± 8
a,b
b
a
6

2+ a,b
b
7+ 7
Example

Consider the language


L = {aa, bab, aabb, bbba}, defined over
Σ ={a, b}, expressed by
aa + bab + aabb + bbba
OR aa (Λ + bb) + b (ab + bba)
The above language may be accepted by the
following FA

8
Example Continued … a,b
x

b a,b
a a

1– a 2 a 3+
b 4 b 5+

b
6 b 7 b 8 a 9+
a
a b
10 a,b
a
b
11+ a,b y
a,b 9
Example

Consider the language L = {w belongs to


{a,b}*: length(w) >= 2 and w neither ends in aa
nor bb}.
The language L may be expressed by the regular
expression

(a+b)*(ab+ba)
This language may be accepted by the following FA

10
Example Continued …

2
b 4+
a
a b
1–
b b a
b
3 a 5+

11
Note

 It is to be noted that building an FA corresponding to


the language L, discussed in the previous example,
seems to be quite difficult, but the same can be done
using tree structure along with the technique
discussed in the book
Introduction to Languages and Theory of
Computation, by J. C. Martin
so that the strings ending in aa, ab, ba and bb should
end in the states labeled as aa, ab, ba and bb,
respectively;as shown in the following FA

12
a
Example continued …
aa
a

a b
b
a a
ab

Λ b a

b ba
a
b
b a
b b

bb 13
Example

 Consider the language


L = {w belongs to {a,b}*: w does not end in
aa}.
The language L may be expressed by the regular
expression
Λ+
a + b + (a+b)*(ab+ba+bb)
This language may be accepted by the following
FA

14
a
Example Continued …
aa
a

a b
b
a a
ab

Λ b a

b ba
a
b
b a
b b

bb 15
Task

 Using the technique discussed by Martin, build


an FA accepting the following language
L = {w belongs to {a,b}*: length(w) >= 2 and
second letter of w, from right is a}.

16
Task

 Using the technique discussed by Martin, build


an FA accepting the following language
L = {w belongs to {a,b}: w neither ends in ab
nor ba}.

17
Defining Languages (continued)…

 Method 5 (Transition Graph)


Definition: A Transition graph (TG), is a collection of
the followings
1)Finite number of states, at least one of which is start
state and some (maybe none) final states.
2)Finite set of input letters (Σ) from which input strings
are formed.
3)Finite set of transitions that show how to go from
one state to another based on reading specified
substrings of input letters, possibly even the null
string Λ.

18
Defining Languages (continued)…

 Method 5 (Transition Graph)


Definition: A Transition graph (TG), is a
collection of the followings
1)Finite number of states, at least one of which is
start state and some (maybe none) final states.
2)Finite set of input letters (Σ) from which input
strings are formed.
3)Finite set of transitions that show how to go
from one state to another based on reading
specified substrings of input letters, possibly
even the null string (Λ).

19
Summing up …

 EVEN EVEN,FA corresponding to finite


languages(using both methods), Transition
graphs.

20

You might also like