Mesin Turing: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
Rachmat-bot (bicara | kontrib)
k clean up, replaced: kekanan → ke kanan, kekiri → ke kiri
HsfBot (bicara | kontrib)
k Clean up, replaced: teoritis → teoretis using AWB
Baris 1:
[[Berkas:Turing Machine.png|thumb|360px|Lukisan Mesin Turing.]]
 
'''Mesin Turing''' adalah model komputasi teoritisteoretis 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 ke kiri atau ke kanan.