JMP : Volume Nomor Oktober 9 AUTOMATA SEBAGAI MODEL PENGENAL BAHASA Eddy Mrynto Fkults Sins dn Teknik Universits Jenderl Soedirmn Purwokerto Indonesi emil: eddy_mrynto@unsoed.c.id Abstrct. A deterministic finite utomton s well nondeterministic finite utomton cn be used to model lnguge recognizer. In computer softwre technology lnguge recognizer usully be n integrted prt of compiler tht is computer progrm tht tke responsibility to trnslte source code into mchine code. Compring with deterministic finite utomton nondeterministic finite utomton is better model for lnguge recognizer becuse it might be simpler nd less in size thn deterministic one. Keywords. Deterministic Finite Automton Nondeterministic Finite Automton Lnguge Recognizer PENDAHULUAN Bhs Teori komputsi merupkn studi mtemtis proses kerj mesin komputer. Komputer merupkn mesin elektronik yng memproses dt berdsrkn instruksi yng diberikn yng mn instruksi ini ditulis dengn menggunkn bhs pemrogrmn tertentu. Setip bhs pemrogrmn mempunyi turn tt bhs (syntx) sendiri-sendiri seperti hlny bhs lmi. Secr umum bhs merupkn himpunn dri kt (string) yng tersusun dri simbol-simbol yng merupkn nggot dri lfbet (lphbet). Sedngkn lfbet didefinisikn sebgi himpunn terhingg dri simbol-simbol. Sebgi contoh lfbet Romwi yng sngt kit kenl yitu { b c.... Pd bhs mesin lfbet yng digunkn dlh lfbet biner yitu { }. Bhs merupkn lt untuk berkomuniksi dengn menggunkn kt (yng selnjutny kn disebut sebgi string) yng dirngki menjdi klimt yng bermkn. String pd sebuh lfbet didefinisikn sebgi brisn terhingg simbol dri lfbet tersebut.
E. Mrynto 54 Sebgi contoh computer merupkn sebuh string pd lfbet { b c... merupkn sebuh string pd lfbet { }. Sebuh string bis sj tidk mempunyi simbol string yng tidk mempunyi simbol disebut string kosong (empty string). Mislkn Γ merupkn sebuh lfbet himpunn dri semu string - termsuk string kosong - dinytkn dengn Γ *. Secr mtemtis bhs didefinisikn sebgi sembrng himpunn dri string pd lfbet Γ dengn kt lin bhs merupkn sembrng himpunn bgin dri Γ *. Jdi Γ dn Γ * msing-msing merupkn bhs. Kren bhs merupkn himpunn mk kit dpt menytkn bhs yng terhingg dengn membut dftr string dri bhs tersebut. Sebgi contoh { for swicthintrelwhile} merupkn sebuh bhs pd lfbet { b c.... Sedngkn untuk menytkn bhs tk hingg dengn membut * syrt kenggotn string dri bhs tersebut yitu { w Γ ; w dengn syrt P} Sebgi contoh { w { } : mempunyi jumlh dn sm bnykny } * w merupkn sebuh bhs tk terhingg pd lfbet { }.. Automt Kedn Tentu Terhingg Automt kedn tentu terhingg (Deterministic Finte Automton) didefinisikn sebgi kuintupel M ( K Γ δ s = dengn K dlh himpunn terhingg dri kedn Γ dlh sebuh lfbet s dlh kedn wl (untuk mn s K ) F dlh kedn-kedn khir (untuk mn F K ) dn δ merupkn sebuh fungsi trnsisi dri K Γ ke K. Sebgi contoh mislkn M ( K Γ δ s = merupkn sebuh utomt kedn tentu terhingg dengn K = { } { b} Γ = s = F = { } dn fungsi trnsisi δ didefinisikn dlm tbel berikut ini.
Model Pengenl Bhs 55 K Γ γ δ ( γ ) b b b Automt kedn tentu terhingg tersebut di ts bis digmbrkn menggunkn grf berrh dn berbobot berikut ini. b b b Automt Kedn Tk Tentu Terhingg Gmbr Automt kedn tk tentu terhingg (Nondeterministic Finte Automton) didefinisikn sebgi kuintupel M ( K Γ s = dengn K dlh himpunn terhingg dri kedn Γ dlh sebuh lfbet s dlh kedn wl (untuk mn s K ) F dlh kedn-kedn khir (untuk mn F K sebuh relsi trnsisi K Γ * K. Sebgi contoh mislkn M ( K Γ s ) dn merupkn = merupkn sebuh utomt kedn tk tentu terhingg dengn K = { } { b} Γ = dn relsi trnsisi = {( b ) ( ) ( b ) ( b )}. F = s = { }
E. Mrynto 56 Automt kedn tentu terhingg tersebut di ts bis digmbrkn menggunkn grf berrh dn berbobot berikut ini. b Gmbr b PEMBAHASAN Sutu bhs dpt disjikn dengn cr membut dftr dri semu string yng d dlm bhs tersebut sebgi contoh L = { for while min... } merupkn sebuh bhs pd lfbet { b c.... Selin itu sebuh bhs jug dpt disjikn dengn menggunkn cr penyjin himpunn linny yitu dengn menggunkn syrt kenggotn sebgi contoh sebuh bhs { w { } : mempunyi du buh yng tidk berurutn} * w L =. Berdsrkn definisi bhs kit dptkn kenytn bhw bhsbhs pd sebuh lfbet dpt diklsifiksikn menjdi tig kelompok yitu: () tercch terhingg () tercch tk terhingg dn (3) tk tercch tk terhingg. Sebgi contoh bhs yng disebutkn pd bgin terdhulu yitu { w { } : mempunyi du buh yng tidk berurutn} * w L = termsuk sebuh bhs yng tercch tk terhingg. Bhs ini dpt disjikn dengn spesifiksi terhingg dengn menggunkn ekspresi regulr yitu * * * L =. Jik kit cermti dn bndingkn ntr cr penyjin bhs dengn menggunkn notsi himpunn dn ekspresi regulr mk dpt disimpulkn bhw penyjin bhs dengn menggunkn ekspresi reguler lebih efisien.
Model Pengenl Bhs 57 Selin itu penyjin dengn menggunkn ekspresi reguler kn memudhkn kit untuk menentukn utomt yng dpt menerim bhs tersebut. Sebgi contoh bhs yng diberikn pd contoh terdhulu yng sudh disjikn dengn spesifiksi terhingg yitu * * * L = menyedikn informsi yng sngt memudhkn untuk penentun utomt yng dpt mengenli bhs tersebut. Berdsrkn spesifiksi tersebut dpt ditentukn utomt terhingg tertentu mupun terhingg tk tertentu sebgimn tersji pd gmbr berikut. 3 Gmbr 3 () Gmbr 3 (b) Jik kit perhtikn Gmbr 3() dn 3(b) mk dpt kit liht bhw utomt tk tentu terhingg mempunyi struktur yng lebih ringks hl ini dikrenkn utomt tk tentu terhingg dpt membc lebih dri stu simbol pd sekli bc sedngkn utomt tentu terhingg hny diperbolehkn membc sebuh simbol pd sekli bc. KESIMPULAN Kesimpuln yng bis diperoleh dlh :. Automt kedn tentu terhingg mupun utomt kedn tk tentu terhingg dpt digunkn untuk merepresentsikn pengenl bhs nmun utomt kedn tk tentu hingg merupkn model yng lebih bik kren sellu mempunyi ukurn yng kecil.
E. Mrynto 58. Jik diberikn sebuh bhs mk dpt ditentukn utomt yng dpt mengenli bhs tersebut. Seblikny jik dikethui sebuh utomt mk dpt ditentukn bhs yng dikenli oleh utomt tersebut. DAFTAR PUSTAKA Durbin J.R. Modern Algebr : An Introduction Fourth Edition John Wiley & Sons Inc. New York USA. Lewis H.R. dn Ppdimitriou C.H. Elements of The Theory of Computtion Prentice-Hll Inc. Englewood Cliffs New Jersey USA 98. Rosen K.H. Discrete Mthemtics nd Its Applictions Fourth Edition McGrw-Hill Book Inc. NewYork USA 999.