L10-DFA Minimization
L10-DFA Minimization
L10-DFA Minimization
DFA Minimization
Course Instructors:
Div 1: Praveen Pawar (Div 1)
Div 2: Jibi Abraham (Div 2)
1
Example-2
Minimize DFA
2
Example-2
0 1
0 1 0
a b c d b
1 0 1
0 1
1 1 0
e f g h c
1 0
0
d
e
1. Initialize table entries:
Unmarked, empty list f
a b c d e f g
3
Example - 2
0 1
0 1 0
a b c d b
1 0 1
0 1
1 1 0
e f g h c
1 0
0
d
e
2. Mark pairs of final and
non-final states f
a b c d e f g
4
Example - 2
d(b,0) ? d(a,0) = ?
1
0 d(b,1) ? d(a,1) = ?
0 1 0
a b c d State (g, b) marked?
0 1 b
1 State (c, f) marked?
0 1
1 1 0
e f g h c
1 0
0
d
e
3. For each unmarked
pair and symbol, … f
a b c d e f g
5
Example – 2
0 1
0 1 0
a b c d b
1 0 1
0 1
1 1 0
e f g h c
1 0
0
d
e
4. Combine unmarked
pairs of states. f
0 1
0 1 g
ae ae bh c
1 0
bh 0
df 1 h
1 df g
0 a b c d e f g
6
Example - 2
0 1
0 1 0
a b c d
1 0 1
0 1
1 1 0
e f g h
1 0
0 1
0 1
ae bh c
1 0
0
1
1 df g
0
7
Example 3
Minimize DFA
8
Example 3
Solution
9
?
10