TEORI BAHASA DAN AUTOMATA

Transkripsi

1 MODUL VII TEORI BAHASA DAN AUTOMATA Tujun : Mhsisw memhmi ekspresi reguler dn dpt menerpknny dlm ergi penyelesin persoln. Mteri : Penerpn Ekspresi Regulr Notsi Ekspresi Regulr Huungn Ekspresi Regulr dn Finite Stte Automt

2 EKSPRESI REGULAR Penerpn Ekspresi Regulr Seuh hs dinytkn regulr jik terdpt finite stte utomt yng dpt menerimny. Bhs-hs yng diterim oleh sutu finite stte utomt is dinytkn secr sederhn dengn ekspresi regulr (regulr expression). Ekspresi regulr selnjutny kit seut segi ER, memungkinkn menspesifiksikn tu mendefinisikn hs-hs. Ekspresi regulr memerikn sutu pol (pttern) tu templte untuk unti/string dri sutu hs. Unti yng menyusun sutu hs regulr kn cocok (mtch) dengn pol hs itu. Bnyk mslh pd perncngn perngkt lunk yng is disederhnkn dlm dengn melkukn penguhn notsi ekspresi regulr ke dlm implementsi computer dri finite stte utomt yng ersngkutn. Penerpn ekspresi regulr yng tmpk mislny pencrin (serching) unti krkter (string) pd sutu file, isny fsilits ini d pd text editor. Dlm ksus itu dilkukn penerpn finite stte utomt pd unti-unti yng terdpt dlm file terseut. Contoh penerpn yng lin dlh pemtsn dt msukn yng diperkennkn, mislny sutu field msukn hny menerim input ilngn (..9). Bis kit liht otomtny pd gmr.,,2, 9,, 9 selin,,2, 9 selin,,2, 9 Gmr. FSA menerim ilngn integer tk ertnd Bil dlm hs Indonesi is diktkn hw otomt pd gmr menerim msukn symol input ntr smpi 9 sedng ekspresi regulrny dinytkn segi erikut: (digit)digit)* dengn digit dlh..9 Dlm sutu kompiltor, ekspresi regulr is dipliksikn untk melkukn nlisis leksikl, yitu mengidentifiksikn unit-unit leksikl yng dikenl dlm progrm. Unit leksikl ini isny diseut dengn token. Token-token pd sutu 2

3 hs pemrogrmn kenykn tnp keculi dinytkn segi ekspresi regulr. Mislkn sutu identifier ik huruf esr tu huruf kecil yng kemudin diikuti huruf tu digit, dengn tnp pemtsn jumlh pnjng is dinytkn segi: (huruf)(huruf+digit)* Contoh otomt pd gmr 2 ergun mengenli identifier, il huruf A..Z,..z, dn digit erup..9. Bil dlm hs FORTRAN ditsi pnjng identifier mksiml 6 (enm), mk ekspresi regulr untuk identifier pd FORTRAN is dinytkn segi: (huruf)(huruf+digit) 5 Dlm implementsiny sutu finite stte utomt kn diterjemhkn menjdi kode dlm seuh hs pemrogrmn. huruf huruf tu digit Gmr 2. FSA mengenli identifier Notsi Ekspresi Regulr Sekrng kit kn memperkenlkn notsi ru disini yitu ( * + +.) yitu : * (krkter sterisk), errti is tidk muncul, is jug muncul erhingg kli (-n) + (pd posisi superscript/dits) errti miniml muncul stu kli (-n) + tu errti union. (titik) errti konktensi, isny titik is dihilngkn, misl ermkn seperti. Contoh ekspresi regulr (selnjutny kit singkt ER): ER: *cc contoh string yng dingkitkn : cc, cc, cc, cc, cc, ( is tidk muncul tu muncul sejumlh erhingg kli) ER: * 3

4 contoh string yng dingkitkn :,,, (jumlh diujung is tidk muncul, is muncul erhingg kli) ER: *d contoh string yng dingkitkn : d, d, d, d ER: + d contoh string yng dingkitkn: d, d, d ( miniml muncul sekli) ER: **(ingt errti tu) contoh string yng dingkitkn:,,,,,,, ER: () contoh string yng dingkitkn:, ER: ()* contoh string yng dingkitkn:,,,,,,, (unti yng memut tu ) * perhtikn : notsi kdng dituliskn jug segi + ER: *+ contoh string yng dingkitkn:,,,,, (string yng erwln dengn, dn selnjutny oleh diikuti deretn ) Huungn Ekspresi Regulr dn Finite Stte Automt. Untuk setip ekspresi regulr d stu Non-deterministic Finite Automt dengn trnsisi (NFA -move) yng ekivlen. Sementr untuk Deterministic Finite Automt d stu ekspresi regulr dri hs yng diterim oleh Deterministic Finite Automt. Sederhnny kit is memut sutu Non-deterministic Finite Automt -move dri sutu ekspresi regulr. Bis diliht contohny pd gmr 3,4,5. Yng perlu diperhtikn disitu, stte khir kn menndkn pkh sutu input diterim tu tidk. q 2 q 3 Gmr 3. NFA -move untuk ER: 4

5 Gmr 4. NFA -move untuk ER: * q 3 q 4 q 5 Gmr 5. NFA -move untuk ER: Kemudin dri Non-deterministic Finite Automt -move terseut dpt kit uh ke Non-deterministic Finite Automt dn selnjutny ke Deterministic Finite Automt, tu prosesny segi erikut: NFA -move NFA DFA Bil ekspresi regulrny cukup sederhn kit is sj lngsung mengkonstruksi NFA-ny, tnp mellui NFA -move. Mislkn sj NFA tnp -move untuk ER: is diliht pd gmr 6. Gmr 6. NFA untuk ER: 5

6 Gmr 7. NFA untuk ER: Contoh-contoh lin is diliht pd gmr 8 smpi 5 Gmr 8. NFA untuk ER: *, Gmr 9. NFA untuk ER: (), Gmr. NFA untuk ER: ()* Gmr. NFA untuk ER: * 6

7 Gmr 2. NFA untuk ER: * Gmr 3. NFA untuk ER: * Gmr 4. NFA untuk ER: ()* Gmr 5. NFA untuk ER: ()* Dri seuh finite stte utomt (NFA tu DFA) kit is menentukn ekspresi regulr yng diterim oleh otomt ersngkutn. Terdpt lngkh-lngkh secr forml untuk menentukn ekspresi regulr dri sutu finite stte utomt, 7

8 tetpi kit is jug secr lngsung menentukn ekspresi regulr-ny dengn mengmti perilku dri otomt terseut. Kit liht dri gmr 6, input yng menuju pd finl stte (q2) dlh tu *, pd stte q2 menerim input dlm jumlh erppun (*) kn tetp di. is diktkn mesin itu menerim * tu **, yng dinytkn dlm ekspresi regulr *** Gmr 6. Mesin FSA Pd gmr 7 kit liht finl stte dlh dn q 3. Input menuju q 3 dlh dengn di q 3 is menerim *, sehingg il digung menjdi *. Input yng menuju dlh, selnjutny dri menerim * kemli ke, sehingg il digung menjdi (*)*. Akhirny kit peroleh ekspresi regulr untuk gmr7: *(*)*, is pul dipersingkt menjdi: (*(*)*) q 3 q 4 Gmr 7. Mesin FSA Pd gmr 8 input yng menuju finl stte ( ) dlh (*), kren dri il menerim ()* kemli ke lgi. Di il menerim * tetp di. Selnjutny 8

9 menerim () kemli ke, dn di il menerim * tetp di, tu digung (*). Mk ekspresi regulrny: ()**(*)* q 3 q 4 Gmr 8. Mesin FSA 9