View
495
Download
24
Category
Preview:
DESCRIPTION
Automata
Citation preview
MAKALAH AUTOMATA “MESIN TURING”SEBAGAI TUGAS PENGGANTI FINAL
TEST
Oleh : Kelompok 2Hairil Anwar (2013020103)
Firmansyah Gaffar (20130201)Sahar Chaca Walfiandy (2013020110)
Muh. Nur Qadri. S (2013020064)Andi Qodratul Syafar (2013020104)
STMIK HANDAYANI MAKASSAR2016
KATA PENGANTAR
Dengan menyebut nama Allah SWT yang Maha Pengasih lagi Maha Panyayang, Kami
panjatkan puja dan puji syukur atas kehadirat-Nya, yang telah melimpahkan rahmat, hidayah, dan
inayah-Nya kepada kami, sehingga kami dapat menyelesaikan makalah materi kuliah automata tentang
mesin turing.
Makalah ini telah kami susun dengan maksimal dan mendapatkan bantuan dari berbagai pihak
sehingga dapat memperlancar pembuatan makalah ini. Untuk itu kami menyampaikan banyak terima
kasih kepada semua pihak yang telah berkontribusi dalam pembuatan makalah ini.
Terlepas dari semua itu, Kami menyadari sepenuhnya bahwa masih ada kekurangan baik dari
segi susunan kalimat maupun tata bahasanya. Oleh karena itu dengan tangan terbuka kami menerima
segala saran dan kritik dari pembaca agar kami dapat memperbaiki makalah ilmiah ini.
Akhir kata kami berharap semoga makalah materi kuliah automata tentang mesin turing ini dapat
memberikan manfaat maupun inpirasi terhadap pembaca.
Makassar, Februari 2016
Penyusun
DAFTAR ISI
Kata Pengantar................................................................................................................ i
Daftar isi.......................................................................................................................... ii
Bab I Pendahuluan.......................................................................................................... 1
A. Pengertian Mesin Turing................................................................................... 1
B. Mesin Turing.................................................................................................... 2
C. Contoh Mesin Turing....................................................................................... 3
Bab II Pengembangan.................................................................................................... 6
A. Definisi Alternatif.............................................................................................. 6
Bab III Pemodelan Mesin Turing.................................................................................... 11
A. Model Mesin Turing......................................................................................... 11
B. Oracle O-Mesin............................................................................................... 11
C. Universal Mesin Turing................................................................................... 12
D. Perbandingan................................................................................................. 12
E. Keterbatasan Mesin Turing............................................................................ 14
F. Contoh Soal................................................................................................... 15
BAB IV Penutup............................................................................................................. 18
Kesimpulan............................................................................................................ 18
Daftar Pustaka...................................................................................................... 19
BAB IPENDAHULUAN
A. Pengertian Mesin TuringSebuah mesin Turing adalah perangkat teoritis yang memanipulasi simbol-simbol pada
strip pita sesuai dengan tabel aturan. Meskipun kesederhanaan, mesin Turing dapat disesuaikan
untuk mensimulasikan logika dari setiap komputer algoritma , dan sangat berguna dalam
menjelaskan fungsi sebuah CPU di dalam sebuah komputer.The "Turing" mesin digambarkan
oleh Alan Turing pada tahun 1936. Yang menyebutnya "a (utomatic)-mesin". Mesin Turing adalah
tidak dimaksudkan sebagai teknologi komputasi praktis, melainkan sebagai eksperimen
pemikiran yang mewakili mesin komputasi. Mesin Turing membantu para ilmuwan komputer
memahami batas-batas perhitungan mekanik.Turing memberikan definisi singkat dari percobaan
pada tahun 1948 esainya, "Mesin Cerdas". Mengacu pada publikasi 1936, Turing menulis bahwa
mesin Turing, di sini disebut Mesin Komputasi logis, terdiri dari:
Kapasitas memori terbatas diperoleh dalam bentuk kaset terbatas ditandai ke kotak, di
masing-masing simbol dapat dicetak. Setiap saat ada satu simbol dalam mesin, itu disebut simbol
dipindai. Mesin dapat mengubah simbol dipindai dan perilaku adalah sebagian ditentukan oleh
simbol itu, tetapi simbol pada pita lain tidak mempengaruhi perilaku mesin. Namun, rekaman itu
dapat digerakkan maju dan mundur melalui mesin, yang satu ini menjadi operasi dasar dari mesin.
Setiap simbol pada pita mungkin karena itu akhirnya memiliki babak. (turing 1948, hal 61).
Sebuah mesin Turing yang dapat mensimulasikan mesin Turing lainnya disebut mesin Turing
Universal (UTM, atau hanya mesin universal). Definisi yang lebih matematis berorientasi dengan
sifat yang mirip "universal" diperkenalkan oleh Alonzo Church , yang bekerja pada kalkulus
lambda terjalin dengan itu Turing dalam teori formal komputasi yang dikenal sebagai Gereja-
Turing tesis . Tesis menyatakan bahwa mesin Turing memang menangkap gagasan informal
metode efektif dalam logika dan matematika , dan memberikan definisi yang tepat dari
suatu algoritma atau 'prosedur mekanis'.Mesin Turing matematis model mesin yang mekanis
beroperasi pada tape. Pada rekaman ini adalah simbol yang mesin dapat membaca dan menulis,
satu per satu, menggunakan kepala tape. Operasi sepenuhnya ditentukan oleh satu set instruksi
dasar yang terbatas seperti "di negara bagian 42, jika simbol yang terlihat adalah 0, menulis 1, jika
simbol yang terlihat adalah 1, pergeseran ke kanan, dan berubah menjadi negara 17, di negara
bagian 17, jika simbol yang terlihat adalah 0, menulis 1 dan mengubah ke negara 6.
Dalam artikel asli (" Pada nomor dihitung, dengan aplikasi untuk Entscheidungsproblem ,
lihat juga referensi di bawah ), Turing tidak membayangkan mekanisme, tetapi orang yang dia
sebut "komputer", yang mengeksekusi aturan-aturan deterministik mekanik seperti budak (atau
sebagai Turing katakan, "dengan cara karuanh").
Kepala selalu lebih dari persegi tertentu pita, hanya bentangan terbatas kotak diberikan.
Instruksi untuk dilakukan (q 4) ditampilkan di alun-alun dipindai. (Menggambar setelah Kleene
(1952) p.375.)
Di sini, keadaan internal (q 1) ditampilkan di dalam kepala, dan ilustrasi menggambarkan
rekaman itu sebagai tak terhingga dan pra-diisi dengan "0", simbol melayani sebagai kosong.
Penuh negara sistem (konfigurasi) terdiri dari keadaan internal, isi kotak yang diarsir termasuk
kosong dipindai oleh kepala ("11B"), dan posisi kepala. (Menggambar setelah Minsky (1967) hal
121).
B. Mesin Turing terdiri dari:1. Sebuah rekaman yang terbagi ke dalam sel, satu di samping yang lain. Setiap sel berisi
simbol dari beberapa alfabet yang terbatas. Alfabet berisi simbol kosong khusus (di sini
ditulis sebagai 'B') dan satu atau lebih simbol lainnya. Rekaman dianggap sewenang-
wenang diperpanjang ke kiri dan ke kanan yaitu, mesin Turing adalah selalu disediakan
dengan pita sebanyak yang dibutuhkan untuk perhitungan nya. Sel yang belum ditulis
sebelum diasumsikan diisi dengan simbol kosong. Dalam beberapa model rekaman itu
memiliki ujung kiri ditandai dengan simbol khusus, pita meluas atau tanpa batas extensible
ke kanan.
2. Sebuah kepala yang dapat membaca dan menulis simbol pada pita dan memindahkan
tape kiri dan kanan satu (dan hanya satu) sel pada suatu waktu. Dalam beberapa model
gerakan kepala dan pita stasioner.
3. Sebuah tabel yang terbatas (kadang-kadang disebut tabel tindakan atau fungsi
transisi) instruksi (biasanya quintuples [5-tupel]: q i j → q i1 sebuah j1 d k, tapi kadang-
kadang 4-tupel) bahwa, mengingat negara (q i ) mesin saat ini dan simbol (j a) itu adalah
membaca pada pita (simbol saat ini di bawah kepala) memberitahu mesin untuk
melakukan hal berikut dalam urutan (untuk 5-tupel model):
Entah menghapus atau menulis simbol (bukan j menulis j1), dan kemudian
Pindahkan kepala (yang digambarkan oleh d k dan dapat memiliki nilai: 'L' untuk satu
langkah kiri atau 'R' untuk satu langkah yang tepat atau 'N' untuk tinggal di tempat yang
sama).
Asumsikan yang sama atau negara baru seperti yang ditentukan (pergi ke negara q
Dalam 4-tupel model, menghapus atau menulis simbol (a j1) dan memindahkan kepala kiri
atau kanan (d k) ditetapkan sebagai instruksi terpisah. Secara khusus, meja memberitahu
mesin untuk (AGLOCO) menghapus atau menulis simbol atau (ib) memindahkan kepala
kiri atau kanan, dan kemudian (ii) menganggap sama atau negara baru seperti yang
ditentukan, tetapi tidak kedua tindakan (AGLOCO) dan (ib) dalam instruksi yang sama.
Pada beberapa model, jika tidak ada entri dalam tabel untuk kombinasi saat simbol dan
negara maka mesin akan menghentikan; model lain memerlukan semua entri untuk diisi.
Sebuah negara yang mendaftar menyimpan status dari mesin Turing, salah satu dari finitely
banyak. Ada satu mulai keadaan khusus dengan yang mendaftar negara diinisialisasi. Negara-
negara ini, menulis Turing, menggantikan "keadaan pikiran" orang yang melakukan . Perhatikan
bahwa setiap bagian dari mesin negara-dan simbol-koleksi-dan yang tindakan-mencetak,
menghapus dan tape-gerak terbatas, diskrit dan dibedakan, itu adalah jumlah terbatas berpotensi
tape yang memberikan suatu jumlah terbatas dari ruang penyimpanan .
C. Contoh Mesin TuringDefinisi FormalHopcroft dan Ullman (1979, hal 148) secara formal mendefinisikan mesin (satu-
tape) Turing sebagai 7 - tupel mana
Q adalah, terbatas tidak kosong set negara Γ adalah, terbatas tidak kosong set alfabet tape / simbol
adalah simbol kosong (simbol hanya diperbolehkan terjadi pada pita tak
terhingga sering pada langkah apapun selama perhitungan)
adalah himpunan simbol masukan
adalah keadaan awal
adalah himpunan negara akhir atau menerima.
adalah fungsi parsial disebut di mana L adalah
pergeseran kiri, R adalah benar pergeseran. (Sebuah varian relatif jarang memungkinkan
"tidak ada pergeseran", katakanlah N, sebagai elemen ketiga set kedua.)
Apa pun yang beroperasi sesuai dengan spesifikasi ini mesin Turing.
The 7-tupel untuk 3-negara berang-berang sibuk terlihat seperti ini (lihat lebih lanjut tentang ini
berang-berang sibuk di contoh mesin Turing ):
Q = {A, B, C, HALT}
Γ = {0, 1}
b = 0 = "blank"
Σ = {1}
δ = lihat tabel di bawah negara-
q 0 = Sebuah negara = awal
F = elemen satu set akhir negara} {HALT
Awalnya semua sel tape ditandai dengan 0.
Negara meja untuk 3 negara, berang-berang sibuk 2 simbol
Tape
simbo
l
Sebuah negara saat ini Saat ini negara B Saat ini negara C
Menuli
s
simbol
Pindahka
n
rekaman
Berikutny
a negara
Menuli
s
simbol
Pindahka
n
rekaman
Berikutny
a negara
Menuli
s
simbol
Pindahka
n
rekaman
Berikutny
a negara
0 1 R B 1 L Sebuah 1 L B
1 1 L C 1 R B 1 R HALT
Rincian tambahan yang dibutuhkan untuk memvisualisasikan atau menerapkan mesin
TuringDalam kata-kata van Emde Boas (1990), hal 6: ". Objek set-teori [formal tujuh tupel
deskripsi mirip dengan di atas] menyediakan informasi hanya parsial pada bagaimana mesin
akan berperilaku dan apa perhitungan nya akan terlihat seperti. Ada perlu beberapa keputusan
tentang apa yang sebenarnya terlihat seperti simbol, dan cara failproof membaca dan menulis
simbol tanpa batas.Pergeseran kiri dan kanan dapat pergeseran operasi menggeser kepala tape
di tape, tapi ketika benar-benar membangun mesin Turing itu lebih praktis untuk membuat slide
kaset bolak-balik di bawah kepala sebagai gantinya.Rekaman itu bisa terbatas, dan secara
otomatis diperpanjang dengan kosong yang diperlukan (yang paling dekat dengan definisi
matematika), tetapi lebih umum untuk menganggapnya sebagai peregangan terbatas pada
kedua ujungnya dan menjadi pra-diisi dengan kosong kecuali secara eksplisit diberikan fragmen
yang terbatas kepala tape pada. (Hal ini, tentu saja, tidak diimplementasikan dalam praktek.)
Tape tidak bisa diperbaiki panjang, karena itu tidak akan sesuai dengan definisi yang diberikan
dan serius akan membatasi jangkauan perhitungan mesin dapat melakukan untuk orang-orang
dari otomat dibatasi linier .
BAB IIPENGEMBANGAN
A. Definisi AlternatifDefinisi dalam sastra kadang-kadang sedikit berbeda, untuk membuat argumen atau bukti
lebih mudah atau lebih jelas, tetapi hal ini selalu dilakukan sedemikian rupa sehingga mesin yang
dihasilkan memiliki kekuatan komputasi yang sama. Misalnya, mengubah himpunan {L, R} ke {L, R, N}, dimana N ("None" atau "Tidak-operasi") akan memungkinkan mesin untuk tinggal di sel pita
yang sama, bukan bergerak kiri atau kanan , tidak meningkatkan daya komputasi mesin.Konvensi
yang paling umum mewakili setiap "Turing instruksi" dalam "tabel Turing" oleh salah satu dari
sembilan 5-tupel, per konvensi Turing / Davis (Turing (1936) di diputuskan, hal 126-127 dan Davis
(2000) p 152). (Definisi 1): (q i, S j, S k / E / N, L / R / N,) (Q saat ini negara saya, simbol dipindai S j,
k cetak simbol S / menghapus e / tidak ada N, L move_tape_one_square kiri /
kanan R / N tidak ada, negara baru q m). Penulis lain (Minsky (1967) hlm 119, Hopcroft dan Ullman
(1979) hal 158, Batu (1972) hal. 9) mengadopsi sebuah konvensi yang berbeda, dengan negara
baru q m terdaftar segera setelah jsimbol dipindai S. (Definisi 2): (q i, S j, q m, S k / E / N, L / R / N)
(Q saat ini negara saya, simbol dipindai S j, negara baru q m, k cetak simbol S / menghapus e / tidak
ada N, L move_tape_one_square kiri / kanan R / N tidak ada).
Untuk sisa artikel ini "definisi 1" (Turing / Davis konvensi) akan digunakan.
Contoh: negara meja untuk berang-berang 3-2-simbol negara sibuk dikurangi menjadi 5-tupel
Saat ini
negara
Scanned
simbol
Cetak
simbol
Pindahkan
rekaman
Akhir (yaitu berikutnya)
negara5-tupel
Sebuah 0 1 R B(A, 0, 1,
R, B)
Sebuah 1 1 L C(A, 1, 1,
L, C)
B 0 1 L Sebuah(B, 0, 1,
L, A)
B 1 1 R B(B, 1, 1,
R, B)
C 0 1 L B(C, 0, 1,
L, B)
C 1 1 N H(C, 1, 1,
N, H)
Dalam tabel berikut, model asli Turing hanya diperbolehkan pertama tiga baris yang ia sebut N1,
N2, N3 (lih turing di diputuskan, hal 126). Dia mengizinkan untuk penghapusan dari "persegi scan"
dengan penamaan simbol 0 S 0 = "menghapus" atau "kosong", dll Namun, dia tidak
memungkinkan untuk non-cetak, sehingga setiap instruksi-line termasuk "cetak simbol S k "atau"
menghapus "(bdk. catatan kaki 12 di Post (1947), hal diputuskan 300). Singkatan menjadi milik
Turing (hal. diputuskan 119). Berikutnya ke kertas asli Turing di 1936-1937, mesin-model telah
memungkinkan semua sembilan jenis kemungkinan lima-tupel:
Saat ini m-
konfigurasi
(Turing
Tape
simbol
Cetak-
operasi
Tape-
gerak
M-akhir
konfigurasi
(Turing
5-tupel 5-tupel
komentar
4-tupel
negara) negara)
N1 q i S j Cetak (S k) Kiri L q m
(Q i, S j, S k, L,
q m)
"Kosong" =
S 0, 1 =
S 1, dll
N2 q i S j Cetak (S k)
Kanan
Rq m
(Q i, S j, S k, R,
q m)
"Kosong" =
S 0, 1 =
S 1, dll
N3 q i S j Cetak (S k)
Tidak
ada Nq m
(Q i, S j, S k, N,
q m)
"Kosong" =
S 0, 1 =
S 1, dll
(Q i, S j, S k, q m)
4 q i S jTidak ada
NKiri L q m
(Q i, S j, N, L,
q m)
(Q i, S j, L, q m)
5 q i S jTidak ada
N
Kanan
Rq m
(Q i, S j, N, R,
q m)(Q i, S j, R, q m)
6 q i S jTidak ada
N
Tidak
ada Nq m
(Q i, S j, N, N,
q m)
Langsung
"melompat"(Q i, S j, N, q m)
7 q i S j Menghapus Kiri L q m(Q i, S j, E, L,
q m)
8 q i S j MenghapusKanan
Rq m
(Q i, S j, E, R,
q m)
9 q i S j MenghapusTidak
ada Nq m
(Q i, S j, E, N,
q m)(Q i, S j, E, q m)
Setiap meja Turing (daftar instruksi) dapat dibangun dari sembilan di atas 5-tuple. Untuk
alasan teknis, tiga non-cetak atau "N" instruksi (4, 5, 6) biasanya dapat ditiadakan. Sebagai contoh
lihatcontoh mesin Turing .Kurang sering menggunakan 4-tupel yang dihadapi: ini mewakili
atomisasi lebih lanjut dari instruksi Turing (bdk. Pos (1947), Boolos & Jeffrey (1974, 1999), Davis-
Sigal-Weyuker (1994)); juga melihat lebih pasca-mesin Turing .Kata "negara" yang digunakan
dalam konteks mesin Turing dapat menjadi sumber kebingungan, karena dapat berarti dua hal.
Kebanyakan komentator setelah Turing telah menggunakan "negara" berarti nama / penanda dari
instruksi saat ini untuk dilakukan-yaitu isi dari register negara. Tapi Turing (1936) membuat
perbedaan yang kuat antara catatan tentang apa yang ia sebut mesin "m-konfigurasi", (negara
internal) dan mesin (atau seseorang) "negara kemajuan" melalui perhitungan - keadaan saat ini
sistem total. Apa Turing disebut "rumus negara" meliputi baik instruksi saat ini dan semua simbol
pada pita. Dengan demikian keadaan kemajuan perhitungan pada tahap apapun sepenuhnya
ditentukan oleh catatan instruksi dan simbol pada pita. Artinya, keadaan dari sistem dapat
digambarkan oleh ekspresi tunggal (urutan simbol) yang terdiri dari simbol pada pita diikuti oleh Δ
(yang kita kira tidak muncul di tempat lain) dan kemudian dengan catatan instruksi. Ekspresi ini
disebut 'negara formula'.Sebelumnya dalam makalahnya Turing membawa ini lebih jauh: ia
memberikan contoh di mana ia menempatkan simbol dari "m konfigurasi-" arus instruksi labelnya-
bawah persegi dipindai, bersama dengan semua simbol pada pita (diputuskan, hal 121), ini dia
sebut "konfigurasi lengkap" (diputuskan, hal 118).
Untuk mencetak "konfigurasi yang lengkap" pada satu baris dia tempat state-label/m-
configuration ke kiri simbol dipindai.Sebuah varian ini terlihat dalam Kleene (1952) di mana Kleene
menunjukkan bagaimana untuk menulis jumlah Gödel dari "situasi" sebuah mesin: ia
menempatkan "m-konfigurasi" simbol q 4 atas persegi dipindai pada sekitar tengah 6 non -kosong
kotak pada pita (lihat gambar Turing-tape dalam artikel ini) dan menempatkan ke kanan alun-alun
dipindai. Tapi Kleene mengacu pada "q 4"dirinya sebagai "mesin negara" (Kleene, hal 374-375).
Hopcroft dan Ullman menyebutnya komposit "deskripsi seketika" dan mengikuti konvensi Turing
menempatkan "negara saat ini" (instruksi-label, m-konfigurasi) di sebelah kiri simbol dipindai (hal.
149).Contoh: negara total 3-2-simbol negara berang-berang sibuk setelah 3 "bergerak" (diambil
dari contoh "jalankan" pada gambar di bawah):1 A 1Ini berarti: setelah tiga bergerak rekaman itu
telah ... 000110000 ... di atasnya, kepala pemindaian paling kanan 1, dan negara
adalah A. Kosong (dalam hal ini diwakili oleh "0" s) dapat menjadi bagian dari negara total
ditunjukkan di sini: B 01; rekaman itu memiliki 1 tunggal di atasnya, namun kepala pemindaian 0
("kosong") ke kiri dan negara adalah B."Negara" dalam konteks mesin Turing harus diklarifikasi
untuk yang sedang dijelaskan: (i) instruksi saat ini, atau (ii) daftar simbol pada pita bersama-sama
dengan instruksi saat ini, atau (iii)daftar simbol pada pita bersama-sama dengan instruksi saat ini
ditempatkan di sebelah kiri simbol dipindai atau ke kanan simbol dipindai.Turing mesin "negara"
diagram.
Meja untuk berang-berang 3-negara sibuk ("P" = cetak / menulis "1")
Tape
simbo
l
Sebuah negara saat ini Saat ini negara B Saat ini negara C
Menuli
s
simbol
Pindahka
n
rekaman
Berikutny
a negara
Menuli
s
simbol
Pindahka
n
rekaman
Berikutny
a negara
Menuli
s
simbol
Pindahka
n
rekaman
Berikutny
a negara
0 P R B P L Sebuah P L B
1 P L C P R B P R HALT
1S 22 4 H
3
(a,A,R)
(B,B,R)
(b,B,L)
(a,a,R)
(B,B,L)
(A,A,R)
(B,B,R)
(Ɛ,Ɛ,R)
(Ɛ,Ɛ,R)
(a,a,L)
(A,A,R)
(a,a,L)
dengan kata lain B dioverwrite dengan A jugadan head bergerak ke kanan.
8. Head membaca simbol ε, maka εdioverwrite dengan εdan head bergerak ke kanan
menuju stata H.
Skema graf mesin turing di atas adalah:
Soal :Lakukan tracing dengan mesin turing diatas untuk kalimat-kalimat: aabb, aab.
Jawab:1. (S,aabb) → (1,Aabb)→ (1,Aabb)→ (2,AaBb)→ (3,AaBb)→ (S,AaBb)
→ (1,AABb)→ (1,AABb)→ (2,AABB)→ (2,AABB)→ (4,AABB)
→ (4,AABB)→ (4,AABBε)→ (H,AABBεε)→ DITERIMA
2. (S,aab) → (1,Aab)→ (1,Aab)→ (2,AaB)→ (3,AaB)→ (S,AaB)
→ (1,AAB)→ (1,AABε)→ CRASH, karena dari node 1 tidak ada edge degan bobot komponen pertamanya hampa(ε).
(a,c,R) (b,d,L)
(a,a,R)
(d,d,R)(a,a,L)
(d,d,R)
(c,c,R)
(Ɛ,Ɛ,R)
(d,d,R)
q1 q2 q3
q4 q5
Contoh lain dari graf mesin turing
Soal dan Jawaban:
1. (q1,ddcbaa) → (q4,ddcbaa)→ (q4,ddcbaa)→ CRASH
2. (q1,abddddd) → (q2,cbddddd)→ (q3,cdddddd)→ (q1,cdddddd)→ (q4,cdddddd)→ (q4,cdddddd)→ (q4,cdddddd)→ (q4,cdddddd)→ (q4,cdddddd)→ (q4,cddddddε)→ (q5,cddddddεε)→ DITERIMA
BAB IVPENUTUP
A. Kesimpulan
Mesin turing ditemukan oleh Alan Turing, Mesin Turing adalah model yang sangat
sederhana dari komputer. Secara esensial, mesin Turing adalah sebuah finite automaton yang
miliki sebuah tape tunggal dengan panjang tak terhingga yang dapat membaca dan menulis data.
Mesin Turing menggunakan notasi seperti ID-ID pada PDA untuk menyatakan konfigurasi dari
komputasinya.Mesin terdiri dari sebuah finite control, yang dapat berada dalam sebuah himpunan
berhingga dari state. Terdapat sebuah tape yang dibagi ke dalam kotak-kotak atau sel-sel. Setiap
sel dapat menampung sebuah dari sejumlah berhingga dari simbol. Pada awalnya, input yang
merupakan string dari simbol dengan panjang berhingga dipilih dari input alphabet, ditempatkan
pada tape. Sel-sel tape yang lain, perluasan secara infinite ke kiri dan ke kanan, pada awalnya
menampung simbol khusus yang dinamakan blank.
Blank bukan sebuah input symbol, dan mungkin terdapat simbol tape yang lain
disamping input symbol dan blank.
Terdapat sebuah tape head yang selalu ditempatkan pada salah satu dari sel-sel tape.
Mesin turing dikatakan men-scan sel tersebut. Pada awalnya, tape head berada pada sel
paling kiri yang menampung input.
Sebuah pergerakan mesin Turing adalah sebuah fungsi dari state dari finite control dan tape
symbol yang di-scan. Dalam satu pergerakan, mesin Turing akan:
Merubah state. Next state dapat sama dengan current state. Menulis sebuah tape symbol
dalam sel yang di-scan. Tape symbol ini mengganti symbol apapun yang ada dalam sel
tersebut. Secara opsional, simbol yang dituliskan dapat sama dengan simbol yang sekarang
ada dalam tape. Memindahkan tape head ke kiri atau ke kanan.
Daftar Pustaka
1. www.scribid.com diakses 05 juli 2012 jam 13.30 WIB
2. www.wikipedia.com diakses 05 juli 2012 jam 13.30 WIB
3. www.ilmukomputer.com diakses 06 juli 2012 jam 20.15 WIB
Recommended