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

Kom -----------------------------------------------------------------------------TURING MACHINE-LINEAR BOUNDED AUTOMATA Turing Machine (TM) lebih bersifat umum dan memiliki kemampuan lebih tinggi dari pada FSA maupun PDA dari segi aksi dan komponennya. Pada TM, memori akan berupa sebuah pita yang pada dasarnya berupa array (deretan) sel-sel penyimpanan. Setiap sel mampu menyimpan sebuah simbol tunggal. Pita tersebut tidak mempunyai sel pertama dan sel terakhir. Pita dapat memuat informasi dalam jumlah tak terbatas, dan dapat dijelajahi/diakses bagian manapun dari pita dengan urutan bagaimanapun. Terdapat sebuah head yang menunjukkan posisi yang diakses pada pita. Head dapat bergerak kekanan atau ke kiri untuk membaca input dari pita dan sekaligus juga bisa melakukan penulisan pada pita/mengubah isi pita. TM bisa dianalogikan seperti komputer sederhana. Dengan sejumlah state sebagai memori, pita sebagai secondary storage, dan fungsi transisi sebagai program. Linear Bounded Automata adalah variasi dari mesin turing jenis nondeterministik Sebuah TM secara formal dinyatakan dalam 7 tupel Q=himpunan state = himpunan simbol input = simbol pita = fungsi transisi S = state awal F = state akhir b= simbol kosong

Contoh : Diketahui : Q={q1,q2} ={a,b} = {a,b,b} S = q1 F = q2 Transisi (q1,a)=(q1,a,R) (q1,b)=(q1,a,R) (q1, b)=(q2, b,L) Ditanya : Operasi TM terhadap simbol abbaa? Penyelesaian : a b b a a

q1 a b b a a

q1 a a b a a

q1 a a a a a

q1 a a a a a

q1

q1 a a a a a
b

q2 SOAL : Diketahui : Q={q1,q2} ={0,x,y} = {a,b,b} S = q1 F = q2 Transisi (q1,x)=(q1,x,R) (q1,y)=(q1,0,R) (q1,0)=(q1,x,R) (q1, b)=(q2, b,L) Ditanya : Operasi TM terhadap simbol x00xy? SOAL : Diketahui : Q={q1,q2} ={0,x,y} = {a,b,b} S = q1 F = q2 Transisi (q1,x)=(q1,y,R) (q1,y)=(q1,y,R) (q1,0)=(q1,x,R) (q1, b)=(q2, b,L) Ditanya : Operasi TM terhadap simbol x00x00y?