Automata

Automata Automata adalah mesin abstrak yang dapat mengenali (recognize), menerima (accept), atau membangkitkan (generate) sebuah kalimat dalam bahasa tertentu. Beberapa Pengertian Dasar : Simbol adalah sebuah entitas abstrak (seperti halnya pengertian titik dalam geometri). Sebuah huruf atau sebuah angka adalah contoh simbol. String adalah deretan terbatas (finite) simbol-simbol. Sebagai contoh, jika a, b, dan c adalah tiga buah simbol maka abcb adalah sebuah string yang dibangun dari ketiga simbol tersebut. Jika w adalah sebuah string maka panjang string dinyatakan sebagai |w| dan didefinisikan sebagai cacahan (banyaknya) simbol yang menyusun string tersebut. Sebagai contoh, jika w = abcb maka |w|= 4. String hampa adalah sebuah string dengan nol buah simbol. String hampa dinyatakan dengan simbol (atau ^) sehingga ||= 0. String hampa dapat dipandang sebagai simbol hampa karena keduanya tersusun dari nol buah simbol. Alfabet adalah hinpunan hingga (finite set) simbol-simbol. Grammar dan Klasifikasi Chomsky Grammar G didefinisikan sebagai pasangan 4 tuple : VT, VN, S, Q dan dituliskan sebagai G(VT ,VN ,S , Q), dimana: VT : himpunan simbol-simbol terminal (atau himpunan token -token, atau alfabet). VN : himpunan simbol-simbol non terminal. S VN : simbol awal (atau simbol start). Q : himpunan produksi. Berdasarkan komposisi bentuk ruas kiri dan ruas kanan produksinya ( ), Noam Chomsky mengklasifikasikan 4 tipe grammar : 1. Grammar tipe ke-0 : Unrestricted Grammar (UG) . Ciri : , 2. Grammar tipe ke-1 : Context Sensitive Grammar (CSG)

. Ciri : , 3. Grammar tipe ke-2 : Context Free Grammar (CFG) . Ciri : VN, (VT | VN) * 4. Grammar tipe ke-3 : Regular Grammar (RG) . Ciri : VN, { VT , VT VN} atau VN, { VT , VN VT} . Automata Hingga (AH) AH didefinisikan sebagai pasangan 5 tupel : (Q, V T , , q0, F): Q : himpunan hingga stata VT : himpunan hingga simbol input (alfabet) : fungsi transisi, menggambarkan transisi stata AH akibat pembacaan simbol input. Fungsi transisi ini biasanya diberikan dalam bentuk tabel. q0 Q : stata awal F Q : himpunan stata penerima Ada dua jenis automata hingga : deterministik (AHD, DFA = deterministic finite automata) dan non deterministik (AHN, NFA = non deterministik finite automata). - AHD : transisi stata AH akibat pembacaan sebuah simbol bersifat tertentu. . (AHD) : Q V T Q - AHN : transisi stata AH akibat pembacaan sebuah simbol bersifat tak tentu. . (AHN) : Q V T 2Q Automata Hingga Deterministik (AHD) Berikut ini sebuah contoh AHD F(Q, V T , , q0, Z), dimana : Q = {q0, q1, q2} berikut : diberikan dalam tabel

Gambar1. Tabel AHD Ilustrasi graf untuk AHD F adalah sebagai berikut : Lambang stata awal adalah node dengan anak panah. Lambang stata awal adalah node ganda.

Gambar 2. Grafik AHD Contoh kalimat yang diterima AHD Contoh kalimat yang tidak diterima AHD : a, b, aa, ab, ba, aba, bab, abab, baba : bb, abb, abba

AHD ini menerima semua kalimat yang tersusun dari simbol a dan b yang tidak mengandung substring bb. sebuah kalimat diterima oleh AHD jika tracingnya berakhir di salah satu stata penerima. . Automata Hingga Nondeterministik (AHN) Berikut ini sebuah contoh AHN F(Q, V T , , q0, Z), dimana : Q = {q 0 , q1, q 2 ,q 3 , q 4 } diberikan dalam tabel berikut :

Gambar3. Tabel AHN Ilustrasi graf untuk AHN F adalah sebagai berikut :

Gambar4. Grafik AHN Contoh kalimat yang diterima AHN di atas : aa, bb, cc, aaa, abb, bcc, cbb Contoh kalimat yang tidak diterima AHN di atas : a, b, c, ab, ba, ac, bc Fungsi transisi sebuah AHN dapat diperluas sebagai berikut : 1. (q, ) = {q} untuk setiap q Q 2. (q, t T) = (p i , T) dimana t V T , T adalah V T *, dan (q, t) = {p i } 3. ({q1, q2, , qn}, x) = (q i ,x), untuk x V T *

Sebuah kalimat di terima AHN jika salah satu tracing-nya berakhir di stata penerima, atau himpunan stata setelah membaca string tersebut mengandung stata penerima. . Ekuivalensi AHN, AHD, dan GR

AHD bisa dibentuk dari AHN. GR bisa dibentuk dari AHD. AHN AHN bisa dibentuk dari GR. AHD GR Pembentukan AHD dari AHN: Diberikan sebuah AHN F = (Q, V T , , q0, Z). Akan dibentuk sebuah AHD F = (Q, VT , , q0, Z) dari AHN F tersebut. Algoritma pembentukannya adalah sbb. : 1. Tetapkan : q0 = q0 dan V T = V T 2. Copykan tabel AHN F sebagai tabel AHD F. Mula-mula Q = Q dan = 3. Setiap stata q yang merupakan nilai (atau peta) dari fungsi dan q Q, ditetapkan sebagai elemen baru dari Q. Tempatkan q tersebut pada kolom Stata , lakukan pemetaan berdasarkan fungsi . 4. Ulangi langkah (3) sampai tidak diperoleh stata baru. 5. Elemen Z adalah semua stata yang mengandung stata elemen Z. Berikut ini diberikan sebuah contoh AHN F = (Q, V T , , q0, Z) dengan : Q = {A, B, C}, V T = {a, b}, q0 = A, Z = {C}, dan didefinisikan sebagai berikut:

Gambar5. Tabel AHN yang akan dikonversikan menjadi AHD

Tentukan AHD hasil transformasinya. Jawab : Berdasarkan algoritma di atas, maka : 1. q0 = q0 = A, V T = V T = {a, b}. 2. Hasil copy tabel AHN F menghasilkan tabel AHD F berikut :

Gambar6. Tabel AHD F 3. Pada tabel AHD F di atas terdapat stata baru yaitu [A,B]. Pemetaan [A,B] adalah : ([A,B],a) = (A,a) (B,a) = [A,B] A = [A,B], dan ([A,B],b) = (A,b) (B,b) = C B = [B,C], sehingga diperoleh tabel berikut :

Gambar7. Tabel AHD F yang sudah mempunyai satu stata baru 4. Langkah (3) di atas menghasilkan stata baru yaitu [B,C]. Setelah pemetaan terhadap [B,C] diperoleh tabel berikut :

Gambar8. Tabel AHD F yang sudah jadi 5. Setelah langkah (4) di atas tidak terdapat lagi stata baru. Dengan demikian AHD F yang dihasilkan adalah : AHD F = (Q, V T , , q0,= Z), dimana : Q = {A, B, C, [A,B], [B,C]}, V T = {a, b}, q0 = A, Z = {C, [B,C]}. Fungsi transisi serta graf dari AHD F adalah sebagai berikut :

Gambar9. Tabel AHD F yang akan dijadikan graf dan Grafik AHN Menjadi AHD