MESIN TURING

G I N TA R I N D R A P E B R I A W A N
1441177004050
 SEJARAH

• 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.”
 PENGERTIAN MESIN TURING

• Mesin turing adalah otomata yang menjadi model computer yang kita kenal saat ini. Mesin
turing memungkinkan kita untuk mempelajari decidability, yaitu pertanyaan mengenai apa yang
dapat dan tidak dapat dikerjakan oleh computer. mesin ini juga memungkinkan kita menbedakan
tractable problem (dapat dipecahkan dalam waktu polynomial) dari intractable problem (tidak
dapat dipecahkan dalam waktu polynomial).
 SEBUAH MESIN TURING SECARA
FORMAL DINYATAKAN DALAM 7 TUPEL
M = (Q, S, G, d, S, F, b)
• Dimana:
• Q = himpunan state
• S = himpunan simbol input
• G = simbol pada pita,termasuk blank
• d = fungsi transisi
• S = state awal (S anggota elemen Q)
• F = himpunan state akhir
• b = simbol kosong (menandakan bagian yang tidak terisi)
 CONTOH SOAL

• Q = {q1, q2} Fungsi Transisi :

St = (q1, x) = (q1, x, R)
• £ = {x, y} St = (q1, y) = (q1, x, R)
• I = {x, y, -(kosong)} St = (q1, -) = (q1, -, L)
‘xyyyxx’
• F = {q2}
• S = {q1}