Deterministic Finite Automt (DFA) Non-Deterministic Automt (NFA) Pertemun Ke-4 Sri Hndyningsih, S.T., M.T. Emil : ning_s12@yhoo.com Teknik Informtik 1
TIU dn TIK 1. Mengethui perbedn ntr DFA dn NFA 2. Perbedn DFA dn NFA 3. Ekuivlensi ntr FA 4. Definisi Forml NFA 5. Fungsi trnsisi NFA 6. Contoh-contoh NFA dengn inputn string yng diterim dn ditolk. 2
FA FA dibgi menjdi 2, yitu : Jenis FA Definisi Bentuk Trnsisi 1. DFA (Deterministic Finite Automt) 2. NFA (Non Deterministic Finite Automt) FA di dlm menerim input mempuyi tept stu busur kelur. FA di dlm menerim input mempuyi lebih dri stu busur kelur tu tidk puny busur kelur. 3
Grph Trnsisi DFA b q0 q0 q1 q q2 q2 q2 q2 4
Grph Trnsisi NFA q0 {q1,q3} q q2 - q3-5
Ekuivlensi Antr FA Diberikn du mesin FA M1 dn M2. Msing-msing menerim bhs L(M1) dn L(M2). Kedu mesin tersebut disebut ekuivlen jik menerim bhs yng sm yitu : L(M1) = L(M2) 6
Grf Trnsisi M1 Grf Trnsisi M2 q0 NFA M1 q1 q0 DFA M2 q1 q0 {q0, q1} q0 q1 q1 - q1 q1 L(M1) = n L(M2) = n 7
Definisi Forml NFA Q q F M,,, 0, Q : Himpunn stte, mis. q, q q 0 1, : Inputn lphbet, mis :, b 2 : Fungsi Trnsisi : Stte wl F : Stte khir 8
Fungsi Trnsisi 0 1 q, q 1 0 q0 1 1 0,1 q q2 9
q ( 1,0) q { 0, q2} 0 1 0,1 q1 q2 10
( q0, ) q { 0, q2} 0 1 0,1 q1 q2 11
q ( 2,1) 0 1 0,1 q1 q2 12
Nondeterministic Finite Automton (NFA) Alphbet ={} q 13
Alphbet ={} Du Pilihn q 14
Alphbet ={} Du Pilihn q Tdk d Trnsisi Tdk d Trnsisi 15
Pilihn Pertm q 16
First Choice q 17
First Choice q 18
Pilihn Pertm Inputn sudh selesi q diterim 19
Pilihn Kedu q 20
Pilihn Kedu q 21
Pilihn Kedu q Tdk d trnsisi: utomt error 22
Pilihn Kedu Inputn belum selesi q ditolk 23
Sebuh NFA menerim string, jik: Kmputsi pd NFA menerim string Komputsi dlh : Seluruh inputn dimsukkn dn utomt dimuli dri stte wl menuju ke stte khir 24
Apkh Contoh 1 diterim oleh NFA: pilihn 1 pilihn 2 diterim q 1 q 2 q 1 q 2 ditolk Digrm trnsisi yng dipilih dlh pilihn 1. Kren komputsi dpt diterim 25
Contoh yng Tidk Diterim q 26
Pilihn Pertm q 27
Pilihn Pertm ditolk q 28
Pilihn Kedu q 29
Pilihn Kedu q 30
Pilihn Kedu q ditolk 31
Sebuh NFA Menolk string, jik: Tidk d komputsi pd NFA yng menerim string. Untuk setip komputsi: seluruh inputn selesi dimsukkn dn utomt tidk smpi pd Stte khir. ATAU Inputn belum selesi dimsukkn 32
Apkh Contoh 2 ditolk oleh NFA: q 1 q 2 ditolk q 1 q 2 ditolk Seluruh komputsi yng mungkin ditolk 33
Contoh Yng Ditolk q 34
Pilihn Pertm q 35
Pilihn Pertm q Tidk d trnsisi: Automt error 36
Pilihn Pertm Inputn tidk terselesikn q ditolk 37
Pilihn Kedu q 38
Pilihn Kedu q 39
Pilihn Kedu q Tidk d trnsisi: Automt error 40
Pilihn Kedu Inputn tidk terselesikn q ditolk 41
Ditolk oleh NFA ditolk q 1 q 2 q 1 q 2 ditolk Seluruh komputsi yng mungkin ditolk 42
L(M)? q 43
Bhs yng menerim: L { } q 44
Pustk 1. Tedy Setidi, Diktt Teori Bhs dn Otomt, Teknik Informtik UAD, 2005 2. Hopcroft John E., Rjeev Motwni, Jeffrey D. Ullmn, Introduction to Automt Theory, Lnguges, nd Computtion, 2rd, Addison-Wesley,2000 3. Mrtin C. John, Introduction to Lnguges nd Theory of Computtion, McGrw-Hill Interntionl edition,1991 4. Linz Peter,Introduction to Forml Lnguges & Automt, DC Heth nd Compny, 1990 5. Dulimrt Hns, Sudin, Cttn Kulih Mtemtik Informtik, Mgister Teknik Informtik ITB, 1998 6. Hinrich Schütze, IMS, Uni Stuttgrt, WS 2006/07, Slides bsed on RPI CSCI 2400 45