Suluh sw
Suluh sw
Suluh sw
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.
Teori Bahasa dan Automata
Suluh sw
Sisi
Kanan
Simbol
State
Sisi kiri
Sisi Kanan
Simbol State
PSKR
PSKR
PSKR
SR
SR
PK
PK
SR PK
PSR
PSR K
SK
PR
SK PR
PKR
S PKR
KR
PS
KR PS
PKS R
PSR
PSR K
PKS
K
PSR
K PSR
PSK
PSK R
PK
SR
PK SR
PKR
PK
PKR S
PSKR
PSKR
SR
PK SR
PR
SK
PR SK
PS
KR
PS KR
PSR
K PSR
PSK
R PSK
S PKR
SKR
PKR
P
SKR
P SKR
PSKR
PSKR
PSKR
SR PK
SKR P
Suluh sw
PK
PKSR -
SR - PK
PK
PSR - K
PS
PK
Diagram Transisi
PR
PS
R - PKS
S- PKR
PK
PK
PK
PKS - R
PKR - S
PR
PR
PS
PR
PS
K - PSR
P
P
PK - SR
PK
PK
- PKSR
Teori Bahasa dan Automata
Suluh sw
Suluh sw
S
F
: himpunan state/kedudukan
: himpunan simbol input
: fungsi transisi, dimana Q x Q
: State awal (initial state)
: himpunan state akhir (Final State)
Suluh sw
DFA :
Q = {q0, q1, q2}
diberikan dalam tabel berikut :
= {a, b}
S = q0
q0
q0
q1
F = {q0, q1}
q1
q0
q2
q2
q2
q2
L(M) =
{abababaa, aaaabab,aabababa,}
a
b
q0
q1
a
q2
Suluh sw
Suluh sw
Suluh sw
02
4
13
S = q0
q0
{q0 , q 1}
{q0 , q2 }
{q0 , q3 }
F = {q4}
q1
{q1 , q4 }
{q1 }
{q 1}
q2
{q2 }
{q 2, q4 }
{q 2}
q3
{q3 }
{q3 }
{q 3, q4 }
q4
Suluh sw
= {a, b,c}
S = q0
q0
{q0 , q 1}
{q0 , q2 }
{q0 , q3 }
F = {q4 }
q1
{q1 , q4 }
{q1 }
{q 1}
q2
{q2 }
{q 2, q4 }
{q 2}
q3
{q3 }
{q3 }
{q 3, q4 }
q4
a,b,c
a,b,c
a
a
b
q3
a,b,c
L(M) = {aabb,}
q1
q1
q0
q2
q4
a,b,c
c
Suluh sw
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
Suluh sw
q1
q0
M1
0
q0
M2
Suluh sw
Suluh sw
Suluh sw
p dan q indistinguishable,
q dan r indistinguishable
p, r
indistinguishable dan
p,q,r
indistinguishable
Suluh sw
Suluh sw
0,1
0
q0
q2
1
0
q3
q4
0
q5
Suluh sw
State q5 tidak dapat dicapai dari state awal dengan jalan apapun (useless
state). Hapus state q5
Catat state-state distinguishable, yaitu :
q4 F sedang q0, q1, q2, q3 F sehingga pasangan
(q0, q4) (q1, q4) (q2, q4) dan (q3, q4) adalah distinguishable.
Pasangan-pasangan state lain yang distinguishable diturunkan berdasarkan
pasangan dari langkah 2, yaitu :
Untuk pasangan (q0, q1)
(q0, 0) = q1 dan (q1, 0) = q2 belum teridentifikasi
(q0, 1) = q3 dan (q1, 1) = q4 (q3, q4) distinguishable
maka
(q0, q1) adalah distinguishable.
Untuk pasangan (q0, q2)
(q0, 0) = q1 dan (q2, 0) = q1 belum teridentifikasi
(q0, 1) = q3 dan (q2, 1) = q4 (q3, q4) distinguishable
maka
(q0, q2) adalah distinguishable.
Teori Bahasa dan Automata
Suluh sw
Berdasarkan hasil diatas maka hasil dari DFA yang direduksi menjadi:
0,1
0
q0
0,1
q1,2,3
q4
Suluh sw