Kelompok 6
1501150303 – Alfon Lavinski
1501143191 – Ricky Santoso
1501183996 – Putu Ayu Zaskya Shavitri
1501153072 – Michael Alfred Wilson
RE = (ab+)+ (a|b) a*
∈-NFA
Menghasilkan DFA dengan 7 state dimana terdapat 4 final state.
∈-Closure (0) = 0 -> S0
∈-Closure(move(S0,a)) = ∈-Closure{1} = {1} -> S1
∈-Closure(move(S0,b)) = –
∈-Closure(move(S1,a)) = –
∈-Closure(move(S1,b)) = ∈-Closure{2} = {0,1,2,3,5} -> S2
∈-Closure(move(S2,a)) = ∈-Closure{1,4} = {1,4,7,8,10} -> S3*
∈-Closure(move(S2,b)) = ∈-Closure{2,6} = {0,1,2,3,5,6,7,8,10} -> S4*
∈-Closure(move(S3,a)) = ∈-Closure{9} = {8,9,10} -> S5*
∈-Closure(move(S3,b)) = ∈-Closure{2} = S2
∈-Closure(move(S4,a)) = ∈-Closure{1,4,9} = {1,4,7,8,9,10} -> S6*
∈-Closure(move(S4,b)) = ∈-Closure{2,6} = S4*
∈-Closure(move(S5,a)) = ∈-Closure{9} = {1} -> S5*
∈-Closure(move(S5,b)) = –
∈-Closure(move(S6,a)) = ∈-Closure{9} = S5*
∈-Closure(move(S6,b)) = ∈-Closure{2} = S2
|
a |
b |
|
|
S0 |
S1 |
– |
|
S1 |
– |
S2 |
|
S2 |
S3* |
S4* |
|
S3* |
S5* |
S2 |
|
S4* |
S6* |
S4* |
|
S5* |
S5* |
– |
|
S6* |
S5* |
S2 |
