# Takes a binary string and accepts it if and only if it is a palindrome.

Q ={q0, q1, q2, q3, q4, q5, q6, q7}
I = q0
F = q6
G = {0, 1, b}
S = {0, 1}
D = {(q0,b,q6,b,R), (q0,0,q1,b,R), (q0,1,q3,b,R),
     (q1,b,q2,b,L), (q1,0,q1,0,R), (q1,1,q1,1,R),
     (q2,b,q6,b,R), (q2,0,q5,b,L),
     (q3,b,q4,b,L), (q3,0,q3,0,R), (q3,1,q3,1,R),
     (q4,b,q6,b,R), (q4,1,q5,b,L),
     (q5,b,q0,b,R), (q5,0,q5,0,L), (q5,1,q5,1,L)
    }