Assignment 02 Automata
Assignment 02 Automata
QUESTION NO 01 :
Solution:
1)
remove unnecessary states
now create the transition graph
2)
remove unnecessary states
3)
The FA mentioned in 2 accept the same language as this one. So, there can
be same Transition Graph for both of the Finite automata.
4)
this TG accept the same language
5)
The mentioned FA in Q.20 does not accept any language, because there is no final
state in it.
So TG for it :
QUESTION NO 02 :
a)
TRANSITION TABLE:
State a b
1 {1,2} 2
2 - 1
New table :
State a b
1 {1,2} 2
{1,2} {1,2} {1,2}
2 trap 1
NOW DFA :
(b)
state a b
1 3 -
2 1 -
3 2 {2,3}
New table :
state a b
1 3 -
3 2 {2,3}
2 1 -
{2,3} {1,2} {2,3}
{1,2} {1,3} -
{1,3} {2,3} {2,3}
Final DFA :
QUESTION 03
QUESTION 04 :
PART 01 :
Transition table :
state a b
0 0,1 0
1 1 0
state a b
0 0,1 0
0,1 0,1 0
DFA :
part 02 :
R.E = a*b(a + b) *
state a b
0 0 1
1 1 1
Transition tables are same so the nfa and dfa are same :
part 03:
transition table :
state a b
0 1 1
1 final 0 0
NFA :
dfa conversion :
state a b
0 1 1
1 final 0 0
Dfa :
part 04 :
R.E = ba (a + b) *
Transition table :
state a b
0 - 1
1 2 -
2 2 2
state a b
0 - 1
1 2 -
2 2 2
part 05 :
R. E= b* aa* b (a + b) *
state a b
0 1 0
1 1 2
2 2 2
Nfa :
now we remove q2 :
R.E= (aa+ bb*aa) *(ab+ bb*ab) (b*a (aa+ bb*aa) *ab + bb*ab) *
Question no : 06
Step3:
1- 0-equilance
2- Final Non-Final {E, F} {A, B, C}
3- 1-equilance
4- {F}, {E} {A, C}, {B}
5- 2-equilance
6- {F}, {E} {A, C}, {B}
new table
minimized dfa :