TM01 -RE-NFA-DFA
Soal
Buatlah DFA dengan aturan minimal 6 state dan maksimum 8 state, dan minimal ada 3 final state serta ada 5 final state untuk maksimalnya, lalu selisih dari state dengan final state minimal harus 2.
Keseluruhan state
Min : 6
Max : 8
Final State
Min : 3
Max : 5
RE (Regular Expression)
RE = a*b(b|a)*(a|b)+a(a|b)*
Ɛ-NFA
Ɛ-NFA -> DFA
Ɛ-Closure({0}) = {0,1,3} = S0
Ɛ-Closure(move(S0,a))=Ɛ-Closure({2})
=> {1,2,3} = S1
Ɛ-Closure(move(S0,b))=Ɛ-Closure({4})
=> {4,5,6,8,11,12,13,15} = S2
Ɛ-Closure(move(S1,a))=Ɛ-Closure({2})
=> S1
Ɛ-Closure(move(S1,b))=Ɛ-Closure({4})
=> S2
Ɛ-Closure(move(S2,a))=Ɛ-Closure({9,14})
=> {5,6,8,9,10,11,12,13,14,15,17,18} = S3
Ɛ-Closure(move(S2,b))=Ɛ-Closure({7,16})
=>{5,6,7,8,10,11,12,13,15,16,17,18} = S4
Ɛ-Closure(move(S3,a))=Ɛ-Closure({9,14,19})
=> {5,6,7,8,9,10,11,12,13,14,15,17,18,19,20,21,23,26} = S5*
Ɛ-Closure(move(S3,b))=Ɛ-Closure({7,16})
=> S4
Ɛ-Closure(move(S4,a))=Ɛ-Closure({9,14,19})
=>S5*
Ɛ-Closure(move(S4,b))=Ɛ-Closure({7,16})
=> S4
Ɛ-Closure(move(S5,a))=Ɛ-Closure({9,14,19,22})
=> {5,6,8,9,10,11,12,13,14,15,17,18,19,20,21,22,23,25,26} = S6*
Ɛ-Closure(move(S5,b))=Ɛ-Closure({7,16,24})
=>{5,6,7,8,10,11,12,13,15,16,17,18,20,21,23,24,25,26} = S7*
Ɛ-Closure(move(S6,a))=Ɛ-Closure({9,14,19,22})
=> S6*
Ɛ-Closure(move(S6,b))=Ɛ-Closure({7,16,24})
=>S7*
Ɛ-Closure(move(S7,a))=Ɛ-Closure({9,14,19,22})
=> S6*
Ɛ-Closure(move(S5,b))=Ɛ-Closure({7,16,24})
=>S7*
Minimized DFA