Nama : Kaifa Ayu Ammar

Kelas/NIM : C1/1970231086
JAWABAN UTS TBA

1. A. Kalau dilihat dari tabel maka dipastikan bahwa mesin itu adalah NFA, karena state
yang diberikan dari inputan dapat menuju lebih dari 1 state.
B. (i) Tidak dapat diterima karena tidak berhenti di akhir state.
(ii) Dapat Diterima. Dengan cara : δ ( B , 112233 ) = δ ( C , 12233 ) = δ ( C , 2233
) = δ ( A , 233 ) = δ ( D , 33 ) = δ ( F , 3 ) = E
3.
Tabel
Transisi ε-closure
δ a c ε ε-closure (q0) = {q0, q1}
q0 {q1} {q2} {q1} ε-closure (q1) = {q1, q2}
q1 Ø {q2} {q3} ε-closure (q2) = {q2}
q2 Ø {q2} Ø ε-closure (q3) = {q5}
q3 Ø Ø {q5} ε-closure (q4) = {q4}
q4 Ø Ø Ø ε-closure (q5) = {q5}
q5 {q6} {q6} Ø ε-closure (q6) = {q6}
q6 Ø Ø Ø

δ (q0,a) = ε_closure(δ(ε_closure(q0),a))
= ε_closure(δ(ε_closure({q0,q1}),a))
= ε_closure({q0,q2})
= {q0,q2}
δ (q0,c) = ε_closure(δ(ε_closure(q0),c))
= ε_closure(δ(ε_closure({q0,q1}),c))
= ε_closure({q2})
= {q2}
δ (q1,a) = ε_closure(δ(ε_closure(q1),a))
= ε_closure(δ(ε_closure({q1,q2}),a))
= ε_closure({Ø })
=Ø
δ (q1,c) = ε_closure(δ(ε_closure(q1),c))
= ε_closure(δ(ε_closure({q1,q3}),c))
 = ε_closure({q2})
= {q2}
δ (q2,a) = ε_closure(δ(ε_closure(q2),a))
= ε_closure(δ(ε_closure({q2}),a))
= ε_closure({Ø })
=Ø
δ (q2,c) = ε_closure(δ(ε_closure(q2),c))
= ε_closure(δ(ε_closure({q2}),c))
= ε_closure({q2})
= {q2}
δ (q3,a) = ε_closure(δ(ε_closure(q3),a))
= ε_closure(δ(ε_closure({q5}),a))
= ε_closure({6})
= {q6}
δ (q3,c) = ε_closure(δ(ε_closure(q3),c))
= ε_closure(δ(ε_closure({Ø }),c))
= ε_closure({Ø })
=Ø
δ (q4,a) = ε_closure(δ(ε_closure(q4),a))
= ε_closure(δ(ε_closure({Ø }),a))
= ε_closure({Ø })
=Ø
δ (q4,c) = ε_closure(δ(ε_closure(q4),c))
= ε_closure(δ(ε_closure({Ø }),c))
= ε_closure({Ø })
=Ø
δ (q5,a) = ε_closure(δ(ε_closure(q5),a))
= ε_closure(δ(ε_closure({Ø }),a))
= ε_closure({q6})
 = {q6}
δ (q5,c) = ε_closure(δ(ε_closure(q5),c))
= ε_closure(δ(ε_closure({Ø }),c))
= ε_closure({q6})
= {q6}
δ (q6,a) = ε_closure(δ(ε_closure(q6),a))
= ε_closure(δ(ε_closure({Ø }),a))
= ε_closure({Ø })
=Ø
δ (q6,c) = ε_closure(δ(ε_closure(q6),c))
= ε_closure(δ(ε_closure({Ø }),c))
= ε_closure({Ø })
=Ø

NFA dengan ε – Move

c
a b

q0  q1  q
2
b
c 
q q5  q3 c q
6 a 4

NFA tanpa ε – Move

c
a b

q0 q1 q
2
b
c
q q5 q3 c q
6 a 4
4. Gambar 1 : Gambar 2 :
S → ε S│ ε A S → ε S│ ε A
A→εB A→εS
B→ εB Maka diperoleh :
Maka diperoleh : V = {S, A}
V = {S, A, B} P = {S → ε S│ ε A, A → ε S│ ε}
P = {S → ε S│ ε A, A → ε B , B →
ε B │ ε}