Mesin Turing

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas

Belum Diperiksa

Lukisan Mesin Turing.

Mesin Turing adalah model komputasi teoritis yang ditemukan oleh Alan Turing, berfungsi
sebagai model ideal untuk melakukan perhitungan matematis. Walaupun model ideal ini
diperkenalkan sebelum komputer nyata dibangun, model ini tetap diterima kalangan ilmu
komputer sebagai model komputer yang sesuai untuk menentukan apakah suatu fungsi dapat
selesaikan oleh komputer atau tidak (menentukan computable function). Mesin Turing terkenal
dengan ungkapan " Apapun yang bisa dilakukan oleh Mesin Turing pasti bisa dilakukan
oleh komputer."
Sebuah mesin turing terdiri atas barisan sel tersusun berupa pita yang dapat bergerak maju
mundur, komponen aktif baca/tulis pita yang memiliki status perhitungan serta dapat
mengubah/menulisi sel aktif yang ada di pita tadi, dan suatu kumpulan instruksi bagaimana
komponen baca/tulis ini harus melakukan modifikasi terhadap sel aktif pada pita, serta
bagaimana menggerakkan pita tersebut. Pada setiap langkah dalam komputasi, mesin ini akan
dapat mengubah isi dari sel yang aktif, mengubah status dari komponen baca/tulis, dan
mengubah posisi pita kekiri atau kekanan.
Daftar isi
[sembunyikan]

1 Lihat pula

2 Referensi

3 Pranala luar
o

3.1 Simulator

Lihat pula[sunting | sunting sumber]

Langton's ant, a simple two-dimensional analogue of the Turing machine.

Probabilistic Turing machine

Church-Turing thesis, which says Turing machines can perform any computation that can
be performed.

Busy Beaver

Computability logic

Turing completeness

Turing tarpit, any computing system or language which, like the Turing machine, is not
only Turing-complete but also useless for practical computing.

Neal Stephenson's Cryptonomicon

Referensi[sunting | sunting sumber]

Rolf Herken: The Universal Turing Machine - A Half-Century Survey, Springer

Verlag, ISBN 3-211-82637-8

Paul Strathern: Turing and the Computer - The big idea, Anchor Books/Doubleday, ISBN
0-385-49243-X

Turing, A., On Computable Numbers, With an Application to the Entscheidungsproblem,

Proceedings of the London Mathematical Society, Series 2, Volume 42, 1936; reprinted in M.
David (ed.), The Undecidable, Hewlett, NY: Raven Press, 1965;

Boolos, G. and Jeffrey, R., Computability and Logic, 2nd ed., Cambridge: Cambridge
University Press, 1980.

Rogozhin, Yurii, "A Universal Turing Machine with 22 States and 2 Symbols", Romanian
Journal Of Information Science and Technology, 1(3), 259-265, 1998. (surveys known results
about small universal Turing machines)

Wolfram, Stephen, A New Kind of Science, Wolfram Media, ISBN 1-57955-008-8

Pranala luar[sunting | sunting sumber]

Turing Machine on Stanford Encyclopedia of Philosophy

Detailed info on the Church-Turing Hypothesis (Stanford Encyclopedia of Philosophy)

Simulator[sunting | sunting sumber]

Visual Turing Machine, a visual designer and simulator, (free software, platform
independent).

Visual Turing, a Turing machine interactive simulator/IDE (free software for Windows).

Suzanne Britton's Turing Machine Simulator (java applet).

C++ Simulator of a Nondeterministic and Deterministic Multitape Turing Machine (free

software).

C++ Simulator of a Universal Turing Machine (which accepts Multitape Turing

Machine) (free software).

Turing Train Terminal - A working Turing machine built out of scale trains.

TMML - Describing a Turing Machine with XML

Alan Turing
Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Belum Diperiksa

Alan Turing

Lahir

23 Juni 1912
Maida Vale, London, Inggris

Meninggal

07 Juni 1954 (umur 41)

Wilmslow, Cheshire, Inggris

Tempat
tinggal

Britania Raya

Kebangsaan

Inggris

Bidang

Matematikawan

Institusi

University of Manchester
National Physical Laboratory
Government Code and Cypher School
University of Cambridge

Alma mater

University of Cambridge
Princeton University

Pembimbing
akademik

Alonzo Church

Mahasiswa
doktoral

Robin Gandy

Dikenal atas

Halting problem
Turing machine
Cryptanalysis of the Enigma
Automatic Computing Engine
Turing Award
Turing Test

Penghargaan

Officer of the Order of the British

Empire
Fellow of the Royal Society

Alan Mathison Turing (lahir 23 Juni 1912 meninggal 7 Juni 1954 pada umur 41 tahun) di
Maide Vale, London, Inggris, ia adalah seorang peneliti matematika dan komputer, dan pahlawan
perang Inggris.
Dia adalah seorang dari peneliti-peneliti komputer modern digital pertama. Selain itu dia adalah
orang pertama yang berpikir menggunakan komputer untuk berbagai keperluan. Dia
mengatakan bahwa komputer dapat menjalankan berbagai program.
Dia juga memberikan ide tentang mesin Turing, mesin yang dapat menjalankan sekumpulan
perintah.

Turing juga yang mencetuskan tes Turing. Namanya diabadikan dalam nama Penghargaan
Turing.
Pada tahun 1936, Alan pergi ke Princeton University di Amerika kemudian kembali ke Inggris
pada tahun 1938. Disana ia mulai bekerja secara rahasia sebagai tenaga paruh waktu untuk
departemen kriptoanalisis Inggris, Kode Pemerintah dan Sekolah Cypher. Pada saat pecah
perang dunia II ia mengambil pekerjaan penuh waktu di kantor pusatnya, Bletchley Park.
Di sini ia memainkan peran penting dalam menguraikan pesan yang dienkripsi oleh mesin
Enigma Jerman, yang menyediakan data intelijen penting bagi Sekutu. Dia memimpin sebuah
tim yang merancang sebuah mesin yang dikenal sebagai Bombe yang berhasil menterjemahkan
pesan Jerman. Dia menjadi tokoh terkenal dan agak eksentrik di Bletchley.
Setelah perang dunia 2 selesai, Alan Turing berubah pikirannya untuk pengembangan mesin
yang secara logis akan memproses informasi. Dia bekerja pertama untuk National Physical
Laboratory (1945-1948). Rencananya itu ditolak oleh rekan-rekannya dan laboratorium yang
diusulkan untuk proyek tersebut kalah untuk menjadi yang pertama merancang sebuah
komputer digital.
Pada tahun 1949, ia pergi ke Manchester University di mana dia memimpin laboratorium
komputasi dan mengembangkan sebuah mesin yang membantu untuk membentuk dasar-dasar
pada bidang kecerdasan buatan. Pada tahun 1951 dia dipilih sebagai salah satu anggota dari
Royal Society.
Pada tahun 1952, Turing ditangkap dan diadili atas tindak pidana homoseksualitas. Untuk
menghindari penjara, ia menerima suntikan estrogen selama setahun, yang dimaksudkan untuk
menetralkan libidonya. Pada masa itu, homoseksual dianggap sebagai sebuah resiko keamanan
karena mereka terbuka untuk memeras. Izin keamanan Turing ditarik, berarti dia tidak bisa lagi
bekerja untuk GCHQ, penerus pasca-perang untuk Bletchley Park. Hal ini membuatnya bunuh
diri pada 7 Juni 1954.