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