The Turing Machine

Palindrome Example
•
•
•
•
•
TM M = (G, Q, d )
G = {►, □, 0, 1}
Q = {qstart, qcopy, qleft, qtest, qhalt}
x  {0, 1}*
PAL(x) = 1 if x is a palindrome and 0
otherwise. That is, PAL(x) = 1 iff x reads
the same from left to right and from right to
left.
Palindrome Example
Figure 2 – Palindrome Example of a TM computation
Palindrome Example
Figure 2 – Palindrome Example of a TM computation
Palindrome Example
Figure 2 – Palindrome Example of a TM computation
Palindrome Example
Figure 2 – Palindrome Example of a TM computation
Palindrome Example
Figure 2 – Palindrome Example of a TM computation
Palindrome Example
Figure 2 – Palindrome Example of a TM computation
Palindrome Example
Figure 2 – Palindrome Example of a TM computation
Palindrome Example
Figure 2 – Palindrome Example of a TM computation
Palindrome Example
Figure 2 – Palindrome Example of a TM computation
Palindrome Example
Figure 2 – Palindrome Example of a TM computation
Palindrome Example
Figure 2 – Palindrome Example of a TM computation