LECTURE 1.

4
SRI KRISHNA INSTITUTE OF TECHNOLOGY
#29, Hesaraghatta Main Road, Chimney Hills, Chikkabanavara Post, Bangalore- 560090
DETERMINISTIC FINITE STATE MACHINE

Automata Theory and

Computability (17CS54)
5th Semester
Geetha Megharaj
Department of Computer Science and
Engineering
geethacse@skit.org.in

Dept Name Subject name / code

Computer Science and Engineering 18CS54
 SRI KRISHNA INSTITUTE OF TECHNOLOGY
Computer Science and Engineering 18CS54
#29, Hesaraghatta Main Road, Chimney Hills, Chikkabanavara Post, Bangalore- 560090

Recap of Previous Lecture

DFA
DESIGN

Dept Name Subject name / code

 SRI KRISHNA INSTITUTE OF TECHNOLOGY
Computer Science and Engineering 18CS54
#29, Hesaraghatta Main Road, Chimney Hills, Chikkabanavara Post, Bangalore- 560090

Learning outcome from this lecture

DFA
EXAMPL
ES

Dept Name Subject name / code

 SRI KRISHNA INSTITUTE OF TECHNOLOGY
Computer Science and Engineering 18CS54
#29, Hesaraghatta Main Road, Chimney Hills, Chikkabanavara Post, Bangalore- 560090

LEARNING OBJECTIVES OF
THIS LECTURE

EXAMPLES OF DFA

Dept Name Subject name / code

 SRI KRISHNA INSTITUTE OF TECHNOLOGY
Computer Science and Engineering 18CS54
#29, Hesaraghatta Main Road, Chimney Hills, Chikkabanavara Post, Bangalore- 560090

DFA to accept Even number in binary form

0- 000
2-010
4-100
12-1100
16-10000
14= 1110
 SRI KRISHNA INSTITUTE OF TECHNOLOGY
Computer Science and Engineering 18CS54
#29, Hesaraghatta Main Road, Chimney Hills, Chikkabanavara Post, Bangalore- 560090
 SRI KRISHNA INSTITUTE OF TECHNOLOGY
Computer Science and Engineering 18CS54
#29, Hesaraghatta Main Road, Chimney Hills, Chikkabanavara Post, Bangalore- 560090

Design DFA to accept strings of 0’s,1’s and 2’s, beginning with a 0 followed by
odd number of 1’s followed by a 2.
 SRI KRISHNA INSTITUTE OF TECHNOLOGY
Computer Science and Engineering 18CS54
#29, Hesaraghatta Main Road, Chimney Hills, Chikkabanavara Post, Bangalore- 560090
 SRI KRISHNA INSTITUTE OF TECHNOLOGY
Computer Science and Engineering 18CS54
#29, Hesaraghatta Main Road, Chimney Hills, Chikkabanavara Post, Bangalore- 560090

Design DFA to accept language

L={w (a,b)*/ w mod 3 =0}

L={aba, abbbbb, ϵ , etc
 SRI KRISHNA INSTITUTE OF TECHNOLOGY
Computer Science and Engineering 18CS54
#29, Hesaraghatta Main Road, Chimney Hills, Chikkabanavara Post, Bangalore- 560090
 SRI KRISHNA INSTITUTE OF TECHNOLOGY
Computer Science and Engineering 18CS54
#29, Hesaraghatta Main Road, Chimney Hills, Chikkabanavara Post, Bangalore- 560090

Design DFA to accept strings having even number of a’s and b’s
aabb
baab, epsilon, aababa ( 4 2)
 SRI KRISHNA INSTITUTE OF TECHNOLOGY
Computer Science and Engineering 18CS54
#29, Hesaraghatta Main Road, Chimney Hills, Chikkabanavara Post, Bangalore- 560090
 SRI KRISHNA INSTITUTE OF TECHNOLOGY
Computer Science and Engineering 18CS54
#29, Hesaraghatta Main Road, Chimney Hills, Chikkabanavara Post, Bangalore- 560090
 SRI KRISHNA INSTITUTE OF TECHNOLOGY
Computer Science and Engineering 18CS54
#29, Hesaraghatta Main Road, Chimney Hills, Chikkabanavara Post, Bangalore- 560090

Design DFA to accept strings with 0’s and 1’s with 3 consecutive zeros
L- {1010001, 000, 111000, 0001, 000, }
L’ – { 101, 1010101, etc}
 SRI KRISHNA INSTITUTE OF TECHNOLOGY
Computer Science and Engineering 18CS54
#29, Hesaraghatta Main Road, Chimney Hills, Chikkabanavara Post, Bangalore- 560090
 SRI KRISHNA INSTITUTE OF TECHNOLOGY
Design#29,
DFA to accept Mainbinary
Computer Science and Engineering
Hesaraghatta integer
Road, Chimney Hills,multiple of 3Post, Bangalore- 560090
18CS54
Chikkabanavara
L- {011, 0110, 1001, 1100, 000}
L’ – { 101, 1010101, etc}
0,1
d={0,1,2}, q0,q1,q2 δ 0 1

q0 q0 Q1
δ (qi,d)=qj
j = 2*i+d mod 3 = 2*0+0= 0 mod 3 = 0 q1 q2 Q0

q2 q1 q2
δ (q0,0)=q(2*0+0 mod 3)= q0=
δ (q0,1)=q(2*0+1 mod 3)= q1= 2*0+1=1 mod 3=1
δ (q1,0)=q(2*1+0 mod 3)= q2 = 2*1+0=2 mod 3=2
δ (q1,1)=q(2*1+1 mod 3)= q0 =2*1+1=3 mod 3 = 0
δ (q2,0)=q(2*2+0 mod 3)= q1
δ (q2,1)=q(2*2+1 mod 3)= q2

Design DFA to accept binary integer multiple of 5

 SRI KRISHNA INSTITUTE OF TECHNOLOGY
Computer Science and Engineering 18CS54
#29, Hesaraghatta Main Road, Chimney Hills, Chikkabanavara Post, Bangalore- 560090
 SRI KRISHNA INSTITUTE OF TECHNOLOGY
Computer Science and Engineering 18CS54
#29, Hesaraghatta Main Road, Chimney Hills, Chikkabanavara Post, Bangalore- 560090

DISCUSSION

5 Minutes

Dept Name Subject name / code

 SRI KRISHNA INSTITUTE OF TECHNOLOGY
Computer Science and Engineering 18CS54
#29, Hesaraghatta Main Road, Chimney Hills, Chikkabanavara Post, Bangalore- 560090

Content to be covered in next lecture

1. Deterministic Finite Automata

2. Design of DFA

3. Examples of DFA

Dept Name Subject name / code

 SRI KRISHNA INSTITUTE OF TECHNOLOGY
Computer Science and Engineering 18CS54
#29, Hesaraghatta Main Road, Chimney Hills, Chikkabanavara Post, Bangalore- 560090

THANK YOU

Dept Name Subject name / code