• Model matematika suatu sistem yang menerima input dan output diskrit
Contoh :
seorang petani dengan seekor serigala, kambing dan seikat rumput berada
pada suatu sisi sungai. Tersedia hanya sebuah perahu kecil yang hanya dapat
dimuati dengan petani tersebut dengan salah satu serigala, kambing atau
rumput. Petani tersebut harus menyeberangkan ketiga bawaannya kesisi lain
sungai. Tetapi jika petani meninggalkan serigala dan kambing pada suatu
saat, maka kambing akan dimakan serigala. Begitu pula jika kambing
ditinggalkan dengan rumput, maka rumput akan dimakan oleh kambing.
Mungkinkah ditemukan suatu cara untuk melintasi sungai tanpa
menyebabkan kambing atau rumput dimakan.
7 March 2013 5
Teori Bahasa dan Automata
PK P
P
PKSR - Ø SR - PK PSR - K
PK
PR
PS
PR
PS
R - PKS S- PKR
PK
PK PK
PK
PKS - R
PKR - S
Diagram Transisi
PS
PR
PR PS
K - PSR
P
PK - SR
PK PK
Ø - PKSR
7 March 2013 Teori Bahasa dan Automata 6
Deterministic FSA
• DFA : transisi state FSA akibat pembacaan sebuah simbol bersifat tertentu.
δ : Q ∑ Q
• NFA : transisi state FSA akibat pembacaan sebuah simbol bersifat tak
tentu.
δ : Q ∑ 2Q
Q : himpunan state/kedudukan
∑ : himpunan simbol input
∂ : fungsi transisi, dimana ∂ Q x ∑ Q
S : State awal (initial state)
F : himpunan state akhir (Final State)
∑= {a, b} δ a b
S = q0 q0 q0 q1 L(M) =
F = {q0, q1} q1 q0 q2 {abababaa, aaaabab,aabababa,…}
q2 q2 q2
a
a
b
q0 q1 q2 b
a b
Jawab :
Kesimpulan :
Sebuah kalimat diterima oleh DFA di atas jika tracingnya berakhir
di salah satu state AKHIR.
Q : himpunan state/kedudukan
∑ : himpunan simbol input
∂ : fungsi transisi, dimana ∂ Q x (∑ ⋃ ) P(Q)
P(Q) : set of all subsets of Q
S : State awal (initial state)
F : himpunan state akhir (Final State)
∑= {a, b,c} δ a b c
S = q0 Q0 {q0 , q 1} {q0 , q2 } {q0 , q3 }
a,b,c a,b,c
a
L(M) = {aabb,…}
q0 q1
q1
b a
c
b
q3 q2 q4
a,b,c a,b,c
c
Jawab:
δ(q0 ,ab) δ(q0,b) δ(q1 ,b) {q0, q2} {q1 } = {q0 , q1 , q2}
Himpunan state TIDAK mengandung state AKHIR kalimat ab tidak diterima
δ(q0 ,abc) δ(q0 ,bc) δ(q1 ,bc) { δ(q0 ,c) δ(q2 ,c)}δ(q1 , c)
{{ q0 , q3 }{ q2 }}{ q1 } = {q0 , q1 , q2 ,q3 }
Himpunan state TIDAK mengandung state AKHIR kalimat abc tidak diterima
0
q0 q1
M1
q0
M2
• Hasil dari FSA yang direduksi merupakan ekivalensi dari FSA semula
q1
0 1
0 0 0,1
q0 q4
1
q2
1 0
0 1
q3 q5
1
Lakukan Reduksi state pada
DFA diatas?
• Berdasarkan hasil diatas maka hasil dari DFA yang direduksi menjadi:
0 0,1
q0 0,1 q1,2,3 1 q4