MAKALAH AUTOMATA MESIN TURING

SEBAGAI TUGAS PENGGANTI FINAL TEST

Oleh : Kelompok 2
Hairil Anwar (2013020103)
Firmansyah Gaffar (20130201)
Sahar Chaca Walfiandy (2013020110)
Muh. Nur Qadri. S (2013020064)
Andi Qodratul Syafar (2013020104)

STMIK HANDAYANI MAKASSAR

2016

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.
B.
C.
D.
E.
F.

Model Mesin Turing.........................................................................................

Oracle O-Mesin...............................................................................................
Universal Mesin Turing...................................................................................
Perbandingan.................................................................................................
Keterbatasan Mesin Turing............................................................................
Contoh Soal...................................................................................................

11
11
12
12
14
15

BAB IV Penutup............................................................................................................. 18
Kesimpulan............................................................................................................ 18
Daftar Pustaka...................................................................................................... 19

BAB I
PENDAHULUAN

A. Pengertian Mesin Turing

Sebuah 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 GerejaTuring 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 sewenangwenang 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
2.

ke kanan.
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

3.

gerakan kepala dan pita stasioner.

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 kadangkadang 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. Negaranegara 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 Turing
Definisi FormalHopcroft dan Ullman (1979, hal 148) secara formal mendefinisikan mesin (satutape) Turing sebagai 7 - tupel

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)

mana

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 negaraq 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

Menuli Pindahka

Menuli Pindahka

simbol rekaman

Berikutny
a negara

simbol rekaman

Saat ini negara C

Berikutny
a negara

Menuli Pindahka
s

simbol rekaman

Berikutny
a negara

Sebuah

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 II
PENGEMBANGAN

A. Definisi Alternatif
Definisi 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 Scanned

Cetak

Pindahkan

Akhir (yaitu berikutnya)

negara

simbol

simbol

rekaman

negara

Sebuah

Sebuah

Sebuah

5-tupel
(A, 0,

1,

R, B)
(A, 1,

1,

L, C)
(B, 0,

1,

L, A)
(B, 1,

1,

R, B)
(C, 0,

1,

L, B)
(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 mkonfigurasi
(Turing
negara)
N
1
N
2
N
3

qi

qi

qi

Tape
simbo
l

Sj

Sj

Sj

4 qi

Sj

5 qi

Sj

6 qi

Sj

7 qi

Sj

8 qi

Sj

9 qi

Sj

M-akhir
Cetak-

Tape- konfigurasi

operasi

gerak (Turing

5-tupel

5-tupel

4-tupel

komentar

negara)
Cetak (S k) Kiri L q m

Cetak (S k)

Cetak (S k)
Tidak ada
N

Kana
nR
Tidak
ada N

nR

Tidak ada Tidak

N
Menghapu
s

ada N

nR

Menghapu Tidak
s

qm

qm

Kiri L q m

Menghapu Kana
s

qm

Kiri L q m

Tidak ada Kana

N

qm

ada N

qm
qm

(Q i, S j, S k, L,
q m)
(Q i, S j, S k, R,
q m)
(Q i, S j, S k, N,
q m)

"Kosong" =
S 0, 1
S 1, dll
"Kosong" =
S 0, 1

"Kosong" =
S 0, 1

= (Q i, S j, S k, q m)

S 1, dll
(Q i, S j, L, q m)

q m)
(Q i, S j, N, R,

(Q i, S j, R, q m)

q m)

q m)

S 1, dll

(Q i, S j, N, L,

(Q i, S j, N, N,

Langsung
"melompat (Q i, S j, N, q m)
"

(Q i, S j, E, L,
q m)
(Q i, S j, E, R,
q 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), DavisSigal-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 labelnyabawah 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/mconfiguration ke kiri simbol dipindai.Sebuah varian ini terlihat dalam Kleene (1952) di mana Kleene
menunjukkan bagaimana untuk menulis jumlah Gdel 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 Sebuah negara saat ini

Saat ini negara B

Saat ini negara C

l
Menuli Pindahka
s

simbol rekaman

Berikutny
a negara

Menuli Pindahka
s

simbol rekaman

Berikutny
a negara

Menuli Pindahka
s

simbol rekaman

Berikutny
a negara

Sebuah

HALT

"3-negara berang-berang sibuk" Mesin Turing dalam representasi finite state . Setiap lingkaran
merupakan "negara" dari TABLE-an "konfigurasi m-" atau "instruksi". "Arah" dari
sebuah transisinegara ditunjukkan oleh panah. Label (misalnya 0 / P, R) di dekat negara keluar (di
"ekor" dari panah) menentukan simbol scan yang menyebabkan transisi tertentu
(misalnya 0) diikuti dengan garis miring /,diikuti oleh "perilaku berikutnya "dari mesin, misalnya" P
P etak "kemudian pindahkan rekaman" R ight R". Tidak ada format yang diterima umum terjadi.
Konvensi yang ditampilkan adalah setelah McClusky (1965), Booth (1967), Hill dan Peterson
(1974).Di sebelah kanan: TABLE atas sebagai dinyatakan sebagai diagram "keadaan
transisi".TABEL biasanya besar yang lebih baik dibiarkan sebagai tabel (Booth, hal 74). Mereka
lebih mudah disimulasikan oleh komputer dalam bentuk tabular (Booth, hal 74). Namun, konsep
tertentu-misalnya mesin dengan "ulang" negara dan mesin dengan pola berulang (lih Hill dan

Peterson hal 244ff)-dapat lebih mudah terlihat ketika dilihat sebagai gambar.Apakah menggambar
merupakan perbaikan pada TABEL yang harus diputuskan oleh pembaca untuk konteks tertentu.
Lihat mesin negara terbatas untuk lebih.Evolusi komputasi sibuk-berang-berang dimulai di bagian
atas dan hasil ke bawah.Pembaca kembali harus memperingatkan bahwa diagram tersebut
mewakili snapshot TABLE mereka membeku dalam waktu, bukan saja ("lintasan") dari
perhitungan melalui waktu dan / atau ruang. Sementara setiap kali mesin berang-berang sibuk
"berjalan" itu akan selalu mengikuti lintasan yang sama negara, hal ini tidak berlaku untuk mesin
"copy" yang dapat diberikan dengan "parameter" input variabel.

BAB III
PEMODELAN MESIN TURING

A. Model Mesin Turing

Banyak mesin yang mungkin dianggap memiliki kemampuan lebih komputasi dari mesin
Turing sederhana universal dapat terbukti memiliki kekuatan lagi (Hopcroft dan Ullman p. 159, lih
Minsky (1967)). Mereka mungkin menghitung lebih cepat, mungkin, atau menggunakan memori
kurang, atau set instruksi mereka mungkin lebih kecil, tetapi mereka tidak dapat menghitung lebih
kuat (yaitu lebih banyak fungsi matematika). (Ingat bahwa Gereja-Turing tesis hipotesis ini benar
untuk setiap jenis mesin: bahwa apa pun yang dapat "dihitung" dapat dihitung oleh beberapa
mesin Turing.)

Sebuah mesin Turing adalah setara dengan otomat pushdown yang telah dibuat lebih fleksibel
dan ringkas dengan relaksasi terakhir-in-first-out persyaratan stack.
Pada ekstrem yang lain, beberapa model yang sangat sederhana berubah menjadi Turing-setara ,
yaitu memiliki kekuatan komputasi yang sama seperti model mesin Turing.
Model yang sama yang umum adalah multi-pita mesin Turing , multi-track mesin Turing , mesin
dengan input dan output, dan non-deterministik mesin Turing (NDTM) sebagai lawan dari mesin
Turingdeterministik (DTM) untuk tabel tindakan yang telah di paling satu entri untuk setiap
kombinasi simbol dan negara.
Read-only, kanan bergerak Mesin Turing yang setara dengan itu NDFA (serta yang DFA dengan
konversi menggunakan NDFA untuk DFA algoritma konversi ).
Untuk tujuan praktis dan didactical setara mesin mendaftar dapat digunakan sebagai
biasa perakitan bahasa pemrograman
B. Oracle O-Mesin
Awal dalam makalahnya (1936) Turing membuat perbedaan antara "mesin otomatis"-nya
"gerak sepenuhnya ditentukan oleh konfigurasi" dan "mesin pilihan":Yang gerak hanya sebagian
ditentukan oleh konfigurasi ... Ketika seperti mesin mencapai salah satu dari konfigurasi ini
ambigu, tidak bisa pergi sampai beberapa pilihan sewenang-wenang telah dilakukan oleh operator
eksternal. Ini akan terjadi jika kita menggunakan mesin untuk menangani sistem aksiomatis.Turing
(1936) tidak merinci lebih jauh kecuali dalam catatan kaki di mana ia menjelaskan bagaimana
menggunakan sebuah-mesin untuk "menemukan semua rumus yang dapat dibuktikan dari
[Hilbert] kalkulus" daripada menggunakan mesin pilihan. Dia "kira [s] bahwa pilihan selalu antara
dua kemungkinan 0 dan 1 bukti Setiap kemudian akan ditentukan oleh urutan pilihan i 1, i 2, ....,
In (i 1 = 0 atau 1, i 2 = 0 atau 1, ..., i n = 0 atau 1), dan karenanya nomor 2 n + i 1 2 n-1 + i 2 2 n-2 + ... +
i n benar-benar menentukan buktinya. mesin otomatis melakukan berturut bukti 1, bukti 2, bukti
3, ... " (Catatan kaki , diputuskan, hal 138). Ini memang teknik dimana seorang deterministik
(yaitu-) Turing mesin dapat digunakan untuk meniru aksi dari mesin Turing nondeterministic ;
Turing diselesaikan masalah ini dalam catatan kaki dan muncul untuk memberhentikan dari
pertimbangan lebih lanjut.Sebuah mesin oracle atau o-mesin adalah mesin Turing-bahwa jeda
perhitungan tersebut pada sedangkan negara "o", untuk menyelesaikan perhitungan, itu
"menunggu keputusan" dari "oracle"-entitas yang tidak ditentukan "selain dari mengatakan bahwa
itu tidak bisa menjadi mesin "(Turing (1939), hal diputuskan 166-168). Konsep ini sekarang aktif
digunakan oleh ahli matematika

C. Unniversal Mesin Turing

Hal ini dimungkinkan untuk menciptakan sebuah mesin tunggal yang dapat digunakan
untuk menghitung urutan dihitung. Jika ini U mesin diberikan dengan tape pada awal yang ditulis
string quintuples dipisahkan oleh titik koma dari beberapa M mesin komputasi, maka U akan
menghitung urutan yang sama sebagai M.Temuan ini sekarang diambil untuk diberikan, tapi pada
saat (1936) itu dianggap menakjubkan. Model komputasi yang Turing disebut "mesin universal"
nya - "U" untuk pendek dianggap oleh beberapa (bdk. Davis (2000)) telah menjadi terobosan
teoritis

mendasar

yang

menyebabkan

pengertian

tentang program

yang

tersimpan komputer .Turing kertas mengandung, pada intinya, penemuan komputer modern dan
beberapa teknik pemrograman yang menyertainya.Dalam hal kompleksitas komputasi , multi-pita
mesin turing universal, hanya perlu lebih lambat oleh logaritmik faktor dibandingkan dengan mesin
itu mensimulasikan. Hasil ini diperoleh pada tahun 1966 oleh FC Hennie dan RE Stearns .
D. Perbandingan
Hal ini sering mengatakan bahwa mesin Turing, tidak seperti otomata sederhana, adalah
sebagai kuat sebagai mesin yang nyata, dan mampu mengeksekusi operasi apapun bahwa
program nyata dapat. Apa yang terjawab dalam pernyataan ini adalah bahwa, karena mesin nyata
hanya bisa di konfigurasi finitely banyak, fakta ini "mesin nyata" hanyalah sebuah robot dibatasi
linier . Di sisi lain, mesin turing yang setara dengan mesin yang memiliki jumlah terbatas ruang
penyimpanan untuk perhitungan mereka. Bahkan, mesin turing tidak dimaksudkan untuk komputer
model, melainkan mereka dimaksudkan untuk perhitungan model itu sendiri, sejarah, komputer,
yang menghitung hanya pada (tetap) penyimpanan internal mereka, dikembangkan kemudian.Ada
sejumlah cara untuk menjelaskan mengapa mesin Turing adalah model yang berguna dari
komputer nyata.
Apa pun komputer yang nyata dapat menghitung, mesin Turing juga dapat menghitung.
Sebagai contoh: "Sebuah mesin Turing dapat mensimulasikan semua jenis subrutin yang
ditemukan di bahasa pemrograman, termasuk prosedur rekursif dan salah satu parametermelewati mekanisme dikenal" (Hopcroft dan Ullman hal 157). Sebuah FSA cukup besar juga dapat
model apapun komputer yang nyata, mengabaikan IO. Dengan demikian, pernyataan tentang
keterbatasan mesin Turing juga akan berlaku untuk komputer nyata.Perbedaannya hanya terletak
dengan kemampuan mesin Turing untuk memanipulasi jumlah terbatas data. Namun, mengingat
jumlah waktu yang terbatas, mesin Turing (seperti mesin nyata) hanya dapat memanipulasi data
jumlah terbatas.eperti mesin Turing, mesin nyata dapat memiliki ruang penyimpanan diperbesar
sesuai kebutuhan, dengan mengakuisisi disk lebih atau media penyimpanan lainnya. Jika pasokan

ini berjalan singkat, mesin Turing dapat menjadi kurang berguna sebagai model. Tetapi
kenyataannya adalah bahwa baik atau mesin Turing mesin nyata membutuhkan jumlah astronomi
ruang penyimpanan untuk melakukan perhitungan berguna. Waktu proses yang dibutuhkan
biasanya jauh lebih masalah.Deskripsi program mesin nyata dengan menggunakan model abstrak
sederhana sering jauh lebih kompleks daripada menggunakan mesin Turing deskripsi. Sebagai
contoh, sebuah mesin Turing menggambarkan sebuah algoritma mungkin memiliki beberapa ratus
negara, sementara deterministik setara terbatas robot pada mesin nyata yang diberikan telah
quadrillions. Hal ini membuat representasi DFA tidak layak untuk menganalisis.Mesin Turing
menjelaskan algoritma independen dari berapa banyak memori yang mereka gunakan. Ada batas
ke memori yang dimiliki oleh mesin saat ini, tetapi batas ini dapat naik sewenang-wenang dalam
waktu. Mesin Turing memungkinkan kita untuk membuat pernyataan tentang algoritma yang akan
(secara teoritis) terus selamanya, terlepas dari kemajuan dalam arsitektur mesin
komputasi konvensional.Mesin Turing menyederhanakan pernyataan algoritma. Algoritma berjalan
pada mesin Turing-setara abstrak biasanya lebih umum daripada rekan-rekan mereka berjalan
pada mesin yang nyata, karena mereka telah sewenang-wenang-presisi tipe data yang tersedia
dan tidak pernah harus berurusan dengan kondisi tak terduga (termasuk, namun tidak terbatas
pada, kehabisan memori) .Salah satu cara di mana mesin Turing adalah model yang buruk untuk
program ini adalah bahwa program-program nyata, seperti sistem operasi dan pengolah kata ,
ditulis untuk menerima input terbatas dari waktu ke waktu, dan karena itu tidak berhenti. Mesin
Turing tidak model perhitungan sedang berlangsung seperti juga (tapi masih dapat model bagian
dari itu, seperti prosedur individu).
E. Keterbatasan Mesin Turing
Keterbatasan Mesin Turing adalah bahwa mereka tidak model kekuatan dari pengaturan
tertentu dengan baik. Misalnya, modern disimpan-program komputer sebenarnya contoh dari
bentuk yang lebih spesifik mesin abstrak yang dikenal sebagai mesin disimpan mengakses
program acak atau model serak mesin. Seperti mesin Turing Universal serak toko "Program"
dalam "memori" eksternal untuk negara terbatas mesin yang itu "petunjuk". Berbeda dengan
Universal Turing Machine, serak memiliki jumlah tak terbatas dibedakan, namun nomor terbatas
"register"-memori "sel" yang dapat berisi bilangan bulat apapun (lih. Elgot dan Robinson (1964),
Hartmanis (1971), dan di Cook khususnya -Rechow (1973); referensi di mesin akses acak ).
Terbatas-negara mesin parutan adalah dilengkapi dengan kemampuan untuk mengatasi tidak
langsung (misalnya isi dari satu mendaftar dapat digunakan sebagai alamat untuk menentukan
mendaftar lain), dengan demikian "Program" parau bisa alamat setiap mendaftar di urutan

mendaftar-. Hasil dari perbedaan ini adalah bahwa ada optimasi komputasi yang dapat dilakukan
berdasarkan indeks memori, yang tidak mungkin dalam Turing Machine umum; sehingga ketika
turing Mesin digunakan sebagai dasar untuk melompat-lompat kali berjalan, 'palsu batas bawah
'dapat terbukti pada algoritma tertentu' kali berjalan (karena asumsi menyederhanakan palsu dari
Turing Machine). Sebuah contoh dari ini adalah pencarian biner , algoritma yang dapat ditampilkan
untuk melakukan lebih cepat ketika menggunakan model serak perhitungan ketimbang model
mesin Turing.
F. Contoh Soal
Rancanglah sebuah mesin turing pengenal bahasa L = {a nbn|n 0) !
Jawab:
L tersebut terdiri dari 2 kelompok kalimat yaitu dan non-. Kelompok non-adalah : ab,
aabb, aaabbb, dan seterusnya. Untuk dapat menerima kalimat TM harus mempunyai edge
dari S ke H dengan bobot (,, R). TM menerima kalimat-kalimat : ab, aabb, aaabbb, dan
seterusnya, dengan algoritma sebagai berikut :
1. Mulai dari S, head membaca simbol a.
2. Head membaca simbol a. Tandai simbol a yang sudah dibaca tersebut, head bergerak ke
kanan mencari simbol b pasangannya.
3. Head membaca simbol b. Tandai simbol b yang sudah dibaca tersebut, head bergerak ke
kiri mencari simbol a baru yang belum dibaca/ditandai.
4. Ulangi langkah 2 dan 3.
5. Head sampai ke H hanya jika semua simbol a dan simbol b dalam kalimat a nbn selesai dibaca.
Algoritma di atas lebih diperinci lagi sebagai berikut :
1. Mulai dari S, head membaca simbol a.
2. Overwritea tersebut dengan suatu simbol (misalkan A) untuk menandakan bahwa a
tersebut sudah dibaca. Selanjutnya head harus bergerak ke kananuntuk mencari sebuah
b sebagai pasangan a yang sudah dibaca tersebut.
i) Jika yang ditemukan adalah simbol a maka a tersebut harus dilewati (tidak boleh
ii)

dioverwrite), dengan kata lain a dioverwrite dengan a jugadan head bergerak ke kanan.
Jika TM pernah membaca simbol b ada kemungkinan ditemukan simbol B. Simbol B
tersebut harus dilewati (tidak boleh dioverwrite), artinya B diover-write dengan B juga dan

3.

4.
5.
6.

head bergerak ke kanan.

Head membaca simbol b, maka b tersebut harus dioverwrite dengan simbol lain
(misalnya B) untuk menandakan bahwa b tersebut (sebagai pasangan dari a) telah
dibaca, dan head bergerak ke kiriuntuk mencari simbol A.
i) Jika ditemukan B maka B tersebut harus dilewati (tidak boleh dioverwrite), dengan
kata lain B dioverwrite dengan B jugadan head bergerak ke kiri.
ii) Jika ditemukan a maka a tersebut harus dilewati (tidak boleh dioverwrite), dengan
kata lain a dioverwrite dengan a jugadan head bergerak ke kiri.
Head membaca simbol A, maka A tersebut harus dilewati (tidak boleh dioverwrite),
dengan kata lain A dioverwrite dengan A jugadan head bergerak ke kanan.
Head membaca simbol a, ulangi langkah 2 dan 3.
(Setelah langkah 3) head membaca simbol A, maka A tersebut harus dilewati (tidak
boleh dioverwrite), dengan kata lain A dioverwrite dengan A jugadan head bergerak ke
kanan.

7. Head membaca simbol B, maka B tersebut harus dilewati (tidak boleh dioverwrite),
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.

3
Skema graf mesin turing di atas adalah:
(,,R)

22
S

(B,B,R)

(a,A,R)

(B,B,L)

(b,B,L)

(B,B,R)

(A,A,R)

(,,R)

(a,a,R)
(a,a,L)
(A,A,R)

(a,a,L)

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().

Contoh lain dari graf mesin turing

q5
(a,a,R)

(a,c,R)

(d,d,R)

(b,d,L)

(a,a,L)
(d,d,R)

(c,c,R)

(,,R)
(d,d,R)

Soal dan Jawaban:

1. (q1,ddcbaa)

2. (q1,abddddd)

(q4,ddcbaa)
(q4,ddcbaa)
CRASH

(q2,cbddddd)
(q3,cdddddd)
(q1,cdddddd)
(q4,cdddddd)
(q4,cdddddd)
(q4,cdddddd)
(q4,cdddddd)
(q4,cdddddd)
(q4,cdddddd)
(q5,cdddddd) DITERIMA

BAB IV
PENUTUP

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