Your SlideShare is downloading. ×
0
Teori bahasa formal dan Otomata
Teori bahasa formal dan Otomata
Teori bahasa formal dan Otomata
Teori bahasa formal dan Otomata
Teori bahasa formal dan Otomata
Teori bahasa formal dan Otomata
Teori bahasa formal dan Otomata
Teori bahasa formal dan Otomata
Teori bahasa formal dan Otomata
Teori bahasa formal dan Otomata
Teori bahasa formal dan Otomata
Teori bahasa formal dan Otomata
Teori bahasa formal dan Otomata
Teori bahasa formal dan Otomata
Teori bahasa formal dan Otomata
Teori bahasa formal dan Otomata
Teori bahasa formal dan Otomata
Teori bahasa formal dan Otomata
Teori bahasa formal dan Otomata
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

Teori bahasa formal dan Otomata

2,341

Published on

Published in: Technology, Business
1 Comment
2 Likes
Statistics
Notes
No Downloads
Views
Total Views
2,341
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
0
Comments
1
Likes
2
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

  • 1. TEORI BAHASA FORMALDANOTOMATAOLEH:SYAHID ABDILLAH(10650036)RISAL FAHMI(10650039)
  • 2. Suatu aturan yang meliputi bahasa pemrogramandan bahasa matematis seperti aljabar dan logikaproposisi. Aturan tersebut akan mengkonstruksiprogramming translator untuk bahasapemrograman.Contoh:Compiler untuk bahasa pemrogramanApa itu Bahasa Formal ?
  • 3. Suatu bahasa adalah suatu himpunan string, sehinggadua hal penting untuk menspesifikasikan bahasa yaitu:1. Jika diberikan spesifikasi suatu bahasa, secaraotomatis akan membangkitkan satu atau lebihstring di dalam bahasa itu.2. Jika diberikan spesifikasi satu bahasa, tentukanapakah suatu string tertentu akan termasuk didalam bahasa itu atau tidak.
  • 4. Suatu tatabahasa struktur frasa dapat digunakan untukmenspesifikasikan suatu bahasa yang terdiri dari 4unsur: Himpunan terminal T >> simbol untuk membuatkalimat di dalam bahasa, misalnya :objek/benda dan kata sifat Himpunan non-terminal N >> lambang antarayang digunakan untuk mendeskripsikan strukturkalimat, misalnya: kalimat frasa dan kata Himpunan produksi P >> kaidah tatabahasa yangmengatur bagaimana kalimat didalam bahasa itudapat dibentuk, misalnya: α  β, dalam hal ini αdan β adalah rangkaian terminal dan non-terminal Di antara semua non-terminal di dalam N, adasebuah non-terminal khusus yang disebut sebagaisimbol awal (starting symbol).
  • 5. Tatabahasa jenis-3 (type-3 grammar) jika semuaproduksi didalam tatabahasa berbentuk :A  aA  aB atau A  BaDi dalam setiap produksi, string kirinya selalu berupasebuah non-terminal tunggal, sedangkan stringkanannya berupa sebuah terminal atau sebuahterminal yang diikuti dengan sebuah non-terminal.Tatabahasa jenis-2 (type-2 grammar) jika semuaproduksi di dalam tatabahasa berbentuk : A aDi dalam setiap produksi, string kirinya selalu berupanon-terminal tunggal
  • 6. Tatabahasa jenis-1 (type-1 grammar) jika semua produksi didalam tatabahasa berbentuk : α  βPanjang β selalu lebih besar atau sama dengan α. Misalnyaproduksi :A  abA  aAaAb  aBCbTatabahasa jenis-0 (type-0 grammar) yaitu tatabahasa strukturfrasa tanpa pembatasan seperti yang telah didefinisikan olehjenis 1,2, dan 3.Semua bahasa pemrograman dapat dispesifikasi olehtatabahasa struktur frasa, dan kebanyakannya merupakanbahasa jenis-2 (misalnya: Basic, Fortran, Pascal).
  • 7. Otomata adalah suatu sistem yang memiliki fungsi-fungsidari komputer, menerima input, menghasilkanoutput, memiliki penyimpan sementara, mampu membuatkeputusan dalam mentransformasikan input ke output.Contoh :Mesin Jaja / vending machineKunci kombinasiParser/compilerApa itu Otomata?
  • 8. Otomata terhingga dan bahasa reguler (regulerlanguages) adalah level terendah dari hirarki mesindan bahasa. Salah satu aplikasinya adalah konstruksipengkompilasi (compiler), yaitu pengenalan stringdari simbol di kode sumber program yang harusdirepresentasikan sebagai objek tunggal sepertinama variabel, konstanta numerik, dan reservedword.Otomata terhingga
  • 9. 132letter letterdigitdigit
  • 10. Ciri-ciri:1. Himpunan terhingga status-status S = {s0, s1, s2, …..}2. Unsur khusus di dalam himpunan S, yaitu S0 yang dinamakanstatus awal (initial state)3. Himpunan terhingga huruf-huruf masukan I = {i0, i1, i2, …..}4. Himpunan terhingga huruf-huruf keluaran O = {o0, o1, o2,……}5. Fungsi transisi (transition function) yaitu fungsi f dari S x I ke S6. Fungsi keluaran (output function) yaitu fungsi g dari S ke OMesin Status Terhingga(finite-state machine)
  • 11. MesinPemrosesInformasiMesin Pemroses InformasiKeluaranSinyal (huruf)Masukan
  • 12. Mesin status terhingga dapat digunakan untuk memodelkansuatu sistem fisik, seperti contoh vending machineMesin Status Terhingga sebagaiModel Sistem FisikAOC2B1122112000
  • 13. Mesin status terhingga dapat digunakan untuk memodelkansuatu alat untuk mengenali (menerima) kalimat-kalimat didalam suatu bahasaMesin Status Terhingga sebagaiModel Sistem Fisik
  • 14. Pada tahun 1936 seorang matematikawan berkebangsaanInggris bernama AlanTuring, mengusulkan suatu modelsederhana yang mempunyai kemampuan sebuah komputergeneral-purpose. MesinTuring mengenal kelas bahasa yangdisebut sebagai himpunan ter-enumerasi rekursif (recursivelyenumerable set), selain itu mesinTuring juga dapat digunakanuntuk menghitung kelas fungsi bilangan bulat yang dikenalsebagai fungsi rekusif parsial (partial recursive function).Mesin Turinga1 A2 … an B B B ….Finite State ControlHead baca/tulis B = blank (spasi)
  • 15. Model Mesin Turing ditunjukkan pada gambar, dan terdiri darikomponen-komponen berikut :1. Pengendali status terhingga (finite state control)2. Pita msukan dengan sifat :> panjangnya tak terhingga (dari ujung kiri tebatas ujungkanan tidak terbatas)> dapat dibaca dan ditulisPada keadaan awal n sel pertama dari pita masukan berisirangkaian simbol yang harus dikenali. Sel-sel lain disebelahkanan rangkaian simbol berisi simbol kosong
  • 16. Perilaku mesin Turing tergantung pada simbol masukan yang berada padaposisi kepala (head) baca/tulis dan status pengendalinya. Aksi-aksi yangdapat dilakukan yaitu :1. Berubah status2. Menuliskan simbol pada sel pita masukan. Aksi penulisan ini akanmengubah simbol yang sebelumnya berada pada sel tersebut3. Menggerakkan head ke kiri atau ke kananPerilaku mesin Turing
  • 17. Dengan :Q : himpunan terhingga dari statusΣ : subset dari Γ, termasuk di dalamnya B, yang merupakan himpunan darisimbol-simbol masukanΓ : himpunan terhingga dari simbol-simbol yang muncul di pitaqδ : fungsi pergerakan yang merupakan pemetaan dari A x Γ ke Q x Γ x{L,R}2q0 : satus awal anggota QB : anggota Γ, melambangkan simbol spasi ( blank )F : himpunan status akhirDeskripsi sesaat : α1qα2 menyatakan mesin yang berada pada statusq, dan α1α2 adalah simbol yang tertera pada pita. Jadi mesin sudahmembaca string α1 dan sedang membaca simbol paling kiri dari α2.Notasi formal mesin TuringM = (Q, Σ, Γ, δ, q0, B, F)

×