Вы находитесь на странице: 1из 4

TEORI BAHASA DAN OTOMATA Pertemuan 2 Dosen : Tri Ari Cahyono, S.Kom, M.

Kom -----------------------------------------------------------------------------MESIN PENGENAL BAHASA Untuk setiap kelas bahasa Chomsky, terdapat sebuah mesin pengenal bahasa. Mesin tersebut adalah : 1. Finite State Automata (FSA) Untuk tipe 3 yaitu Regular Grammar (RG) 2. Push Down Automata (PDA) Untuk tipe 2 yaitu Context Free Grammar (CFG) 3. Linear Bounded Automata (LBA) Untuk tipe 1 yaitu Context Sensitive Grammar (CSG) 4. Turing Machine (TM) Untuk tipe 0 yaitu Unrestricted Grammar (UG) Catatan : LBA adalah variasi dari mesin turing jenis nondeterministik. FINITE STATE AUTOMATA (FSA) FSA bukanlah mesin fisik tetapi suatu model matematika dari suatu sistem yang menerima input dan mengeluarkan output diskrit. Memiliki state yang berhingga banyaknya dan dapat berpindah dari satu state ke state lainnya berdasar input dan fungsi transisi Tidak memiliki tempat penyimpanan/memory, hanya bisa mengingat state terkini. Mekanisme kerja dapat diaplikasikan pada : elevator/lift, text editor, analisa leksikal, pencek parity dan protokol komunikasi jaringan. Contoh kasus : Petani, kambing,, serigala dan seekor rumput yang akan menyebrang sungai. FSA terbagi dalam dua katagori yaitu : 1. Deterministic Finite Automata (DFA) Aturan DFA adalah dari suatu state ada tepat satu state berikutnya untuk setiap simbol masukan yang diterima 2. Non Deterministic Finite Automata (NFA) Aturan NFA adalah dari suatu state ada 0, 1 atau lebih state berikutnya untuk setiap simbol masukan yang diterima

DETERMINISTIC FINITE AUTOMATA (DFA) Aturan DFA adalah dari suatu state ada tepat satu state berikutnya untuk setiap simbol masukan yang diterima Bentuk gambar mesin DFA : Lingkaran menyatakan state/kedudukan Label pada lingkaran menyatakan nama state tersebut Busur menyatakan transisi Label pada busur menyatakan simbol input Lingkaran didahului sebuah busur tanpa label menyatakan state awal Lingkaran ganda menyatakan state akhir DFA dinyatakan oleh 5 tuple : M=(Q , , , S , F ) Keterangan : Q = himpunan state = himpunan simbol input = fungsi transisi : Q S = state awal (S Q) F = state akhir (F Q) Contoh Soal : Diketahui : Q = {Genap, Ganjil} = {0,1} S = Genap F = {Ganjil } Fungsi Transisi (Genap,0) = Genap (Genap,1) = Ganjil (Ganjil,0) = Ganjil (Ganjil,1) = Genap Ditanya : a. Tabel transisi ? b. Mesin DFA?

Tabel Transisi :

Gambar Mesin DFA

Soal 1 : Gambarkan diagram transisi dari DFA berikut : Q ={q0,q1,q2} = {a,b} S = q0 F = {q0 } Tabel Transisi : q0 q1 q2 a q1 q2 q2 b q2 q0 q2

Soal 2 : Gambarkan diagram transisi dari DFA berikut : Q ={q0,q1,q2,q3} = {a,b} S = q0 F = {q0,q1,q2 }

Tabel Transisi : q0 q1 q2 q3 a q0 q0 q0 q3 b q1 q2 q3 q4

Soal 3 : Buatlah tabel transisi dari gambar berikut : 1 q0 1 00 0 0

q1

q2

q3 1