PUSH DOWN AUTOMATA ( PDA ) BAB XIII PUSH DOWN AUTOMATA ( PDA )
Mekanisme Kerja PDA PDA merupakan mesin automata dari bahasa bebas konteks. PDA didefinisikan sebagai sebuah tempat penyimpanan yang tidak terbatas berupa stack / tumpukan. Stack ialah kumpulan dari elemen-elemen sejenis dengan sifat penambahan elemen melalui suatu tempat yang disebut top of stack ( top stack)
Aturan pengisian stack adalah Last In First Out ( LIFO ) Pengambilan elemen dari stack dinyatakan dengan operasi pop. Memasukkan elemen ke dalam stack dengan operasi push. Setiap elemen stack bisa memuat satu simbol, yang disebut simbol stack.
Contoh sebuah stack : A D E D E A D E TOP Stack Bila dilakukan operasi POP, maka kondisi stack menjadi : D E Bila dilakukan operasi push B, maka kondisi stack menjadi : A D E
Sebuah Push Down Automata dinyatakan dengan 7 tupel, dimana : Q = Himpunan state. = Himpunan simbol input = Simbol-simbol tumpukan/ stack = Fungsi transisi S = State awal, S Q F = Himpunan final state Z = Simbol awal tumpukan/ top stack Definisi untuk Q, , S, F sama dengan yang ada pada finite state automata. Tupel baru disini adalah dan Z yang berhubungan dengan stack. memiliki kemiripan dengan pada finite state automata.
Push Down Automata bisa pula dianggap seperti Finite State Automata yang dilengkapi stack. Sebuah PDA yang menerima input, selain bisa berpindah state juga bisa melakukan operasi pada stack. Kondisi / konfigrasi PDA dinyatakan dengan state dan stack.
Fungsi transisi bisa dibaca sebagai berikut : (q1, a, Z) = {(q1, AZ)} Mesin dengan konfigurasi : state q1 dan top stack Z membaca input ‘a’ Z Konfigurasi menjadi : state q1 ,push A ke stack A, A menjadi top stack. A Z
Deskripsi seketika pada mesin Push Down Automata. Deskripsi seketika digunakan untuk menyatakan secara formal konfigurasi mesin PDA pada suatu saat. Perubahan dari suatu kondisi ke berikutnya dipisahkan dengan tanda ‘ —’ (dibaca : berubah menjadi). Konfigurasi dinyatakan dengan : (q, w, u) Dimana : q = state, w = string yang belum dibaca, u = isi stack dengan simbol terkiri adalah top stack.