Rusli Setiawan / 2012020066

Definisi Mesin Turing Perangkat teoritis yang memanipulasi simbol-simbol pada strip pita sesuai dengan tabel aturan disebut Mesin Turing. 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 Turing tahun tidak 1936. Yang menyebutnya "a (utomatic)-mesin". Mesin 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 dikenal dengan itu Turing dalam tesis . teori Tesis formal komputasi yang sebagai Gereja-Turing

menyatakan bahwa mesin Turing memang menangkap gagasan informal metode efektif dalam logika dan matematika , dan memberikan definisi

Rusli Setiawan / 2012020066

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 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 karuan"). 89504e470d0a1a0a0000000d494844520000012c000000370806000000b 61b779900000006624b474400ff00ff00ffa0bda7930000053a49444154789 ceddd5d8815651cc7f1efaabbbdb9da265488589984a55b5156646122155 15d4424414475d14d37bd80c816454265741108dd541696416f042985824 45da9171a456ce64b14a459174b26569ba2d9c5ff3971f66c67cf9cb367e6f 93f33bf0f0c67777696fd3133cf7fe7ed79064444444444244de7021b81bf80 23c03ae011e014d017319788c8385b8043c052600eb00af8152b5822226e 9c07fc033cd1307f2b2a58d28629b10348255c0af4005f37ccdf1e218b244c 054b8ad01f3eff68987fb4e8209236152c29c29fe1f3cc86f903450791b4a96 04911f684cf2b1be62f6bf17b83c031e0f46e07121199c8e7c02fc0adc00260 0d7090e617ddfb805de1e72a582252a839c06660147b0eeb75ecd1866605 eb79e03954b044c489c7f9ff82751db0163b6554c192ffe81a96787306f00cf 054ec20e28f0a9678b3067801ebc22332860a96c4b4167ba0b46639f037b 0234e1c1191ec3601878191301dc1ae618d00f747cc252232ce2cec6e626 d5a8115ac8b19ffd0a988882bcbd05d4211114951fd05cff3b1e762ea5d02e c2b2e4e53fdc074ec49e9d806b0eb2c1e78d93ea76137704623e79806cc0 57e889c036c9f3d1b38103b087ef6d99958bfd21319975f8ddd84c9ecc536 03e56510b82f7688c0cb3a013f596e04ee881d026b1043b1430483d888aa

Rusli Setiawan / 2012020066

1e78d94f86b07f281dd3630d22920c152c1149860a96882443054b4492a1 822522c950c1129164a86089483254b04424192a5812d34dc036ece9e76 3c037c41995c14b0e69a1cc05cbdb4ee8258f971cfdc0a758d7a2c5c042e0 7d6003706d0573d478d93e2e95b56079db09bde4f19203e042ac7fe8bbc0 77c0f7d868a33784afab96037c6d9f2479e983d46e5fc2416c58925b1ae65f 0f9c33c92c9dac93bcf2b49b25af1c9df425ecc31ae641e049ac81f64cf81ba d75d297308f1cd0595fc22cdb6736f00556d8b2f2d28ed597b089bdc07e60 3d6377c21dc06f15cee32507c0716009f00ef020b0131b8d6355dd329d34c e3c721425cbf6798f7cd7876b652d585e1a83b73c591b672ff02ab01b3bfa7 80b3b12e9b611ac612e002e005e035e021e083f2faa71b6cab112180ed3e a1c7364d93e77025fe698c1b5b2162cf0d318bce5699503e0666c94cf8561 b979c0ed5dce310fb8bbeefb9f8067b1027975985744e36c95631176d1fb2 ae00aeccdd54b72ccd36afb1ccdf16fbb57d682e5a53178cb932507c016e0 21ec7aca74ec5d813fe790e523ec1d849785ef1fc6c66fdf169629a271b6ca 711bf6728ce3c0c9b06cb78b777d962cdba7b2ca5cb03c34066f79b2e4a8f 701764ab2153b3de9a6cfb0a2b802f80abb43f718f028f06197ffd66472cc66 ec48b787c2bc3cb4bb7d2a675aec0039a9ed842b81a7c3bc7d14df18bce5 6937c7bdd830bf9b807bb0c6d44d1bc2145b3b397ab023cf3c78d94fdc2a6 bc1023f8da1c64b9e2c392ec74e7fbe057e073e0696d2fd829582038c3da2 9a8b3d02919789b6cf7c60237016f64ab461e00dec85b49550d65342999c c5c0cbc0546c1f598e9d2a15693ed620d763c57298f12f4929c266e02eec4 51bbdd8a9e3271172803dc8ba08b8089811beae4cb182721f614dc4db7f2 a6f79de06aec18eb0a602db81370bce506b9cb1ed05d66137444e61eb665 7d4441556d582e5a531d478cb73123f6f7cf1e0953049643a25149164a860 89483254b04424192a5822920c152c1149860a96882443054b4492a1822 522c9a81f0a7608ebe85a6f00385c5c9ca6668429cf3e5c59795927603dfa7 7c70e81755b99028c46ced18b8dd1be3f720eb0fd7516f063ec20f8d94f666 22fd7389161d93dd8c0912222222222222200ff02fd9c6ba83db0800e0000 000049454e44ae426082 Kepala selalu lebih dari persegi tertentu pita, hanya bentangan terbatas

Rusli Setiawan / 2012020066

kotak diberikan. Instruksi untuk dilakukan (q 4) ditampilkan di alun-alun dipindai. (Menggambar setelah Kleene (1952) p.375.) 89504e470d0a1a0a0000000d494844520000012c000000470806000000b d397a5800000006624b474400ff00ff00ffa0bda7930000000774494d4507d a070111053033a72332000009c749444154789ceddd7f6c55671dc7f1f75d 7f40293fca0f292d63d28110a9831685109c73736af8915220abe0d480716 61b6cb061415c22117f6484a11dc214491449cc42fc038c2442602ece892e a3e842372438d6a1d4d22865d81fb4f4d2fac753c8edbdf75cee69cf73ce3d f4f34a1ae839f79ccfd3a4e7db739ef39cf3808888888888880c529114eb36 01632ce7df07d459cec894dc19c025a0d9cfd0b163c7ae282d2dfdc0cf4c80 8686863113274ef4f56705686d6d1d1a8d46ef2a282868b795d1d6d63624f 6fbc6c6c631454545beffac00f5f5f591e6e6e63ffa1c3b1578d7e2fe8b80378 1efc7afc876d86002900b6cb6d82880e7816f59cec894dc27813fe173a12c2 f2f7f64fdfaf5657e6602ecdfbf9f55ab56dde377ee993367686b6b63ce9c39b e65f6feac85be05c6d8ba75eb3bcdcdcd8ffb1c6bfbf8d901bc986cc55d0e1b 94017fb6d61cf14d4f4f4fd04d1071a318f817d09a6ca553c11ae5b481844b 474787d359b448262a00da9c563a15acff00819ce28ac8a07606980d4c4cb 6d2a960bd062c0386596a94f8242f2f2f1a741b445cda8ce9234b3869722a 583780ef002f0059d69a252292e87f4035f074fc0aa78205f04fe075609ea54 689882433127396f597f815b7eb90ed2075511311f1da73c02ea0217e8553 c11a09acc6f4d6ffc65ab3c4baeeeeee54838345325116498a15243f7b5a0 0ac070e023fb7d828f1416767a7fa20256c7e0ffc0073e2d4477cc19a0c4c0 7be075c7411b008781be804de0116f6a79519981564a627b9595959ae468 ed6d6d6b276ed5a962d5bc69a356b3875ea94dbc801b972e50a3535352c 59b2e48eca8a575151d1e76bc99225545555b16edd3a0e1c3840575797a de8301cab4781bdc076e28637c45f124e03de77d9a8e9c02f802f611e3d99 0b1c001e00cebbdc5726650599e9596e6e6eee8d743fdbd0d0c0ce9d3ba9 aeae66c68c199c3b778eeddbb7b36ddb368a8a8a5c36dfbd43870e71f0e0 41162f5e6c7d84be9f594e0e1f3edce7fb68344a4b4b0bc78f1f67d7ae5d6c d8b0c1ebc8301dab178067802d983e2d20f10ceb55e05ee087c094341bf6 385083398debc4dc59fc71ef72aff99915646620b9478e1ca1b2b29259b36

Rusli Setiawan / 2012020066

6919393436969291515151c3d7ad456641f757575ecd8b183952b57de515 9e9cacece66f4e8d154565672e2c4091b11613b563b809cd805f1052bda1 bf21c906e797f083816b7ec15e0332e1a962e3fb382cc0c24b7aeae8ed9b3 67f759565656c6e9d3a76d45f6b165cb160a0bfd79c0c2cf2cb75a5a5a183e 7cb88d5d87ed58bd1bb81ebbc0e92e612790eeeb394a80fab865ef62ced4 bce66756909981e4363535251cc44545455cba74c956a4c4b876ed1ae7cf 9f67fffefdac58b1c24644988ed5e99893a66763173a15ac31a4ffdea611404 bdcb21692f4f07bc0cfac20333dcb8d46a3698fa36b6f6f272f2fafcfb261c386 d1de6eedd552835a454545c2b24824c2f2e5cb59b468918dc8b01cab9380 8dc01398abbe5b9c0a56156658437ff939d8348881ad410da6759ddbd5d5 35a0b67677770f64734921b6d3bda7a787d6d656eaeaead8b76f1f050505 2c5dbad48f6664e2b1fa0d601d71c52ad50eb231cf13a6e32aa69ac61a09d 878cba59f5941667a969b9d9d9d76c5c9cfcfe7dab56b7d96b5b7b7939f9fe f2652fa2112893062c408e6cf9fcfa64d9b12ee207a242cc76a14872e29a78 2f532e6fa319d51d2ef91785d3a15f8471adbbae5675690999ee5e6e4e4a4 5db0264c9890d05fd5d8d8487171b19b4819a09292129a9badbc71392cc7 6a2e0e577f4e05eb0a6694fb77d3d8f92b980162b11603c7d3d8d62d3fb38 2cc0c24b7acac8cdadada3ecb4e9e3c497979b9ad4849a2bebeded61dccb 01cab2f035f4bb622d5c3cfa73023df1701bf4bf1b99f026ff47ebd8eb99df97 5e0136934cc2d3fb382cc0c2477e1c285545757337dfa744a4b4b397dfa34 c78e1da3a6a6c656a4c4e8e8e8e0ecd9b3ecd9b387aaaa2a1b11613956df 00be020cc58cc5bae5766f6b3889e9804f55b02e6046b3eec48c94ff3bb012 f8771a0d73cbcfac203303c91d3f7e3cd5d5d5ecddbb97868606264d9ac4c 68d1b1933c6f6e44946fc5db3d8efbdeed3f1332bdd36e4e5e53165ca1456 af5ecdbc7956deea14a663751ff0c5de7f6fb95dc15a8319487a3baf62a6cef 2839f5941667a92ebf62ee1cc9933d9bd7bf74022fbcdaf42e1775686e587e 558adc514ac3e52fd32cfc53c00ddd4cf40c9006ec6618964907b49724731 d519d66398b9f424c4dc3cfc2c92214660dee9be3e7e85d35fdf07310f2dea 973de4dcbe5e4624037c1b334221612c9653c17a0c78cb668b444492c801 ba3193a926702a58bf0546db6a918888831252dc49742a58ef63c660c920 d6d9d94934aa690dc557ef01a598d9e713383d7a53081c02ea2c35eaa605

Rusli Setiawan / 2012020066

98d7a1c66a21c9438f3ee4da360ff387c0d777b50c1932a4aab8b8f8a4dbe dae5fbf9e7ff9f2e5599148e4c6b871e3decaceceee74b37d5353d39cc2c24 2d7b903d5dada5ad8dddd9d3b72e4c8a49714365cbd7ab564d4a851f1af5 2f1c5c58b17e7767575fddae758dbc74f21666ec2844e7791641e06766366 fe1e0dfc0cd0f3392292719e21eea569986997b6028ffadf1c119144c33067 550fa7f8cca398c2a5a9c3442430259867b626a7f1d972cc25a2ee228b88ef 3e8799cd64988b6d3e8479fdd0c7acb44844244e04f392c675fddc3e07d80 62cf3ac45222249e463faabbc98dee9ab9869e1d2793bad88882b5330fd55 1ff6709ff3803dd89f494844069105c08b40deed3ed80fc598a9c9a759d8b7 880c2211a01a78ca72ce106007b0d0728e88dca186032f615e19e4972730 0552fd5a2292b6a9c02f3133e9faedd3988e7d4d6a2822b7b510d35f3534c 036dc83e9d79a1c601b44248345808dc0daa01bd22b0f33734aaa477e446 4101a8e990fee81a01b92c4b3c0d34137424432c334ccf8aabbfbb9fd1780 bf02d77bffbd1ff34eed219eb4cef83cf02382bd4c1591802d666085e011e06 fc047318fdcccc7ccfcdd8df777faa6609e43ec6f611591908a009b31c30806 e235e0b371cb2a015b33eedcbc74fda4a5fd8b4886198139e8eff7605f1f90f 858cd68ec152c30c5f69bc0972d66884886780a78c8a37ddd207142922ce c16ac9b9ef72143ee109ac63cbc6e00fff5685f6d98cbb458633ddab788675 4b004e06de0e371cbbc78f58c88a754b004e027c00b9847797230fd629b3 16771221943054b007e05ec020e622e0f5fc2f49139fd7e7c0a38823f7d5c2 272077812b8cf72865341fa03e6ed0f5e142c75ba4bdab2836e8084d28341 374006275d128a4868a860894868a860492a7a63a86414152c11090d152 c11090ddd2594fee849f27f5d3e8a752a58d21f2a4e120815acf0cac53cff97 1b7443066854d00d90f0d05fcaf0fa08a66085fd79bf0bc09b413742444444 446470fa3f160abe048eceba640000000049454e44ae426082 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.

Rusli Setiawan / 2012020066

(Menggambar setelah Minsky (1967) hal 121). 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 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 [5tupel]: 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

Rusli Setiawan / 2012020066

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-koleksidan 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 . Contoh Mesin Turing Definisi FormalHopcroft dan Ullman (1979, hal 148) secara formal mendefinisikan mesin (satu-tape) Turing sebagai 7

Rusli Setiawan / 2012020066

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

Rusli Setiawan / 2012020066

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

10

Rusli Setiawan / 2012020066

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-firstout 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, lawan dari dan nonmesin deterministik mesin Turing (NDTM) sebagai

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

11

Rusli Setiawan / 2012020066

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 n1

+ i2

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

12

Rusli Setiawan / 2012020066

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

13

Rusli Setiawan / 2012020066

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 03 Maret 2013 jam 19.30 WITA 2. www.wikipedia.com diakses 03 Maret 2013 jam 19.35 WITA 3. www.ilmukomputer.com 04 Maret 2013 jam 12.30 WITA

14

Rusli Setiawan / 2012020066

15