MESIN TURING

Cara kerja Mesin Turing (MT) adalah ekivalen dengan cara kerja komputer digital sekarang ini.
Sebagai input Mt adalah kata atau untai atas alfabet T. Ia berhenti dengan keadaan menerima
atau menolak untai. Kadang- kadang terjadi pula perulangan atau looping tak hingga.
Himpunan untai yang diterima MT disebut ACCEPT (M), yang ditolak disebut REJECT(M),
dan yang looping disebut LOOP(M).

Penyajian Mesin Turing

Mesin Turing M atas alfabet terdiri atas:

1. Tape/ pita
2. Tape head atau kepala pita
3. Sebuah program

Cara Kerja Mesin Turing

J (a1, b1, arah n)
(a2, b2, arah 2)
i J

j
Skema graf Mesin Turing di atas adalah :

(, , R)

(B, B, R) (B, B, L) (B, B, R)

(a, A, R) (b, B, L) (A, A, R) (, , R)

S 1 2 4 H

(a, a, R)
(a, a, L)
(A, A, R)

3
(a, a, L)

Contoh :
Lakukan tracing dengan mesin turing di atas untuk kalimat-kalimat : aabb, aab.
Jawab :
i) (S,aabb)  (1,Aabb)  (1,Aabb)  (2,AaBb)  (3,AaBb)  (S,AaBb)
 (1,AABb)  (1,AABb)  (2,AABB)  (2,AABB)  (4,AABB)
 (4,AABB)  (4,AABB)  (H,AABB)