Mesin TuringDari 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 TuringDari 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

Pembimbingakademik Alonzo Church

Mahasiswa Robin Gandy

doktoral

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.