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

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.

Lihat juga

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

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

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

Simulator

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 | Model komputasional | Metode formal

Gourt Home::Gourt :: Mesin Turing

Lihat juga

Referensi

Pranala luar

Simulator