Professional Documents
Culture Documents
SR
PSR PSK PKR PK K R S
SR PK
PSR K PSK R PKR S PK SR K PSR R PSK S PKR PSKR
P SKR PSKR
PK
P P PS PR PS
R - PKS S- PKR
PKSR -
PK
SR - PK
PSR - K
PR
PK
PK
PK PK
PKS - R
Diagram Transisi
PKR - S
PR
PR
PS PS
K - PSR
P P
PK - SR
PK
PK
- PKSR
Deterministic FSA
Ada dua jenis FSA : Deterministic finite automata (DFA) Non deterministik finite automata.(NFA)
DFA : transisi state FSA akibat pembacaan sebuah simbol bersifat tertentu.
NFA : transisi state FSA akibat pembacaan sebuah simbol bersifat tak tentu.
q0
a q0
b q1
F = {q0, q1}
q1
q2
q0
q2
q2
q2
a b q0 a q1 b
q2
Kesimpulan : Sebuah kalimat diterima oleh DFA di atas jika tracingnya berakhir di salah satu state AKHIR.
0 4 2 1 3
q0 q1 q2 q3 q4
c {q0 , q3 } {q 1} {q 2} {q 3, q4 }
a,b,c
a,b,c
a
q0 c q3 a,b,c b b q2 a,b,c c q1 q1 a q4
L(M) = {aabb,}
Sebuah kalimat di terima NFA jika : Salah satu tracing-nya berakhir di state AKHIR, atau himpunan state setelah membaca string tersebut mengandung state AKHIR
Telusurilah, apakah kalimat-kalimat berikut diterima NFA di atas : ab, abc, aabc, aabb 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 M2
(q,w) F dan (p,w) F atau (q,w) F dan (p,w) F untuk semua w S* Indistinguishable State ( tidak dapat dibedakan)
Dua state p dan q dari suatu DFA dikatakan distinguishable jika ada string w S* hingga:
Dalam melakukan eveluasi state, didefinisikan suatu relasi : Untuk Q yg merupakan himpunan semua state
D adalah himpunan state-state distinguishable, dimana D Q N adalah himpunan state-state indistinguishable, dimana N Q maka x N jika x Q dan x D
Teori Bahasa dan Automata
0
q0
0 q3
q5
0
q0
0,1
1 q4
0,1
q1,2,3