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

IMG-20140310-WA0002

Ɛ-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*

IMG-20140310-WA0001

 

Minimized DFA

IMG-20140310-WA0000

Leave a Reply