PERTEMUAN 4 TEORI BAHASA DAN OTOMATA [TBO]

Ukuran: px

Mulai penontonan dengan halaman:

Download "PERTEMUAN 4 TEORI BAHASA DAN OTOMATA [TBO]"

Hendri Handoko Cahyadi
6 tahun lalu
Tontonan:

1 PERTEMUAN 4 TEORI BAHASA DAN OTOMATA [TBO]

2 Jenis FSA Deterministic Finite Automt (DFA) Dri sutu stte d tept stu stte erikutny untuk setip simol msukn yng diterim Non-deterministic Finite Automt (NFA) Dri sutu stte d 0, 1 tu leih stte erikutny untuk setip simol msukn yng diterim

3 DFA [Deterministic Finite Automt] Semu FA yng telh kit liht smpi sekrng dlh DFA Pd Deterministic Finite Automt, dri stu stte d tept stu stte erikutny untuk setip simol msukn yng diterim Appun stte st itu (current stte) tu msukn/input ny, sellu terdpt stu dn hny stu stte erikutny

4 Cttn Penting!! δ(q, ) unik; setip stte q memiliki stu (dn hny stu) trnsisi kelur untuk setip simol Σ Untuk setip string input tertentu w, eksekusi enrenr dpt diprediksi dn dpt diulngi. Oleh kren itu hsil dri eksekusi yng sm mesti sm. Sift ini diseut dengn determinisme Ctt: δ Greek lowercse Delt; Σ Greek uppercse Sigm

5 Contoh DFA x y Stte Strt x y z y x z z Finl z z z

6 NFA Non-Deterministic Finite Automt Pd Non-Deterministic Finite Automt, dri sutu stte is terdpt 0, 1 tu leih usur kelur (trnsisi) erlel simol input yng sm Pd setip psngn stte-input, dpt memiliki 0 (nol) tu leih pilihn untuk stte erikutny

7 NFA Lnjt.. δ(q, ) dlh himpunn stte-stte: is jdi himpunn kosong, tu leih dri stu stte Dengn demikin, q is memiliki eerp (tu tidk d sm sekli) trnsisi kelur untuk setip Σ NFA dpt menek lngkh yng tept, tnp hrus ditentukn (di dlm struktur NFA itu) terleih dhulu. Tekn ini muncul kren dny eerp pilihn. Sift ini diseut dengn non-determinisme.

8 Contoh 1 : NFA L = {w {0, 1}* w erkhir dengn 01} Ide: Di sutu stte NFA menek hw khir dri input sudh kn dimuli dn oleh kren itu NFA kemudin menunggu 01, dengn menggunkn non-determinisme.

9 Contoh 2 : NFA, Stte x y Strt x {x,y} {y} Finl y {y} Ø

10 Non-deterministic FA [NFA] Menerim: jik terdpt pling sedikit stu pth yng erkhir di stte Finl di pohon trce eksekusi Menolk: jik semu pth yng mungkin terhenti (stuck, hlt) tu erkhir di stte yng ukn Finl Interpretsi: NFA sellu mengmil pilihn yng enr untuk memstikn penerimn (sumsi: pth yng erkhir di stte Finl memng d) NFA memut copy diriny sendiri untuk menelusuri semu pth yng mungkin NFA menjeljhi semu pth secr prllel.

11 PENTING! Semu NFA dengn hs L hrus memstikn: x L : semu pth yng mungkin di pohon trce eksekusi menolk x L : pling sedikit stu pth di pohon trce eksekusi menerim Meskipun NFA es menek, NFA hrus memstikn hw slh stu dri teknny enr. Crny dlh dengn menek semu tekn yng mungkin.

12 Secr Forml NFA N = (Q,Σ,δ,q0,F) memiliki struktur yng sm dengn DFA keculi untuk fungsi trnsisi δ δ : Q Σ 2 Q δ(q, ) dlh himpunn gin dri Q. Ctt. Ingt : 2 Q dlh powerset dri Q

13 Contoh 3 : Penggungn 2 FA Berikut diperlihtkn seuh NFA yng merupkn gungn dri 2 uh FA, yitu dengn cr menumpuk strt stte Du FA erikut ini (FA1 dn FA2) msing-msing menerim lnguge yng didefinisikn oleh regulr expression r1 dn r2

14 Contoh 3 : Penggungn 2 FA Lnjt.. +,,

15 Contoh Penggungn 2 FA Lnjt.. NFA yng kn diut untuk is mendefinisikn kedu lnguge yng diterim oleh msing-msing FA terliht seperti erikut ini: +,,

16 Contoh 4 Peredn dengn NFA: fungsi trnsisi dpt memiliki 0 tu leih fungsi trnsisi G = ({q0,q1,q2,q3,q4}, {0,1}, δ, q0, {q2, q4}} δ 0 1 q0 { q0,q3} {q0,q1} q1 ε {q2} q2 {q2} {q2} q3 {q4} ε q4 {q4} {q4}

17 Contoh 4 Lnjt.. String diterim NFA il terdpt sutu urutn trnsisi erdsr input, dri stte wl ke stte khir. hrus menco semu kemungkinn. Contoh : string 01001

18 Contoh 4 : string 01001

dokumen-dokumen yang mirip

TEORI BAHASA DAN OTOMATA FINITE STATE AUTOMATA (FSA)

TEORI BAHASA DAN OTOMATA FINITE STATE AUTOMATA (FSA) Finite Stte Automt Seuh Finite Stte Automt dlh: Model mtemtik yng dpt menerim input dn mengelurkn output Kumpuln terts (finite set) dri stte (kondisi/kedn).