$\%$run $-$i m$269\_$util # both files are in the downloaded TMA zip file

$\%$run $-$i m$269\_$tm

palindrome $=\{$

# State 'start', symbol read

$(\text{'}$start$\text{'},0)$: $($None$,$ RIGHT, 'check$\_$right'$),$ # Move to the right to start checking

$(\text{'}$start$\text{'},1)$: $($None$,$ RIGHT, 'check$\_$right'$),$

# State 'check$\_$right', symbol read

$(\text{'}$check$\_$right', $0)$: $($None$,$ RIGHT, 'check$\_$right'$),$ # Continue moving right

$(\text{'}$check$\_$right', $1)$: $($None$,$ RIGHT, 'check$\_$right'$),$

$($None$,$ None$)$: $($None$,$ LEFT, 'check$\_$left'$),$ # Encountered blank, start checking from the left

# State 'check$\_$left', symbol read

$(\text{'}$check$\_$left', $0)$: $($None$,$ LEFT, 'compare'$),$ # Start comparing from the left

$(\text{'}$check$\_$left', $1)$: $($None$,$ LEFT, 'compare'$),$

# State 'compare', symbol read

$(\text{'}$compare$\text{'},0)$: $(0,$ LEFT, 'compare'$),$ # Move left

$(\text{'}$compare$\text{'},1)$: $(1,$ LEFT, 'compare'$),$

$($None$,$ None$)$: $($None$,$ RIGHT, 'halt'$)$ # Reached the beginning, halt

$\}$

palindrome$\_$tests $=[$

# case, TM$,$ input tape, debug, output tape

$(\text{'}$palindrome$\text{'},$ palindrome, $[1,0,1],$ False, $[1]),$

$(\text{'}$not palindrome', palindrome, $[1,0],$ False, $[0]),$

$(\text{'}$even palindrome $1\text{'},$ palindrome, $[1,0,0,1],$ False, $[1]),$

$(\text{'}$even palindrome $2\text{'},$ palindrome, $[0,1,1,0],$ False, $[1]),$

$(\text{'}$even palindrome $3\text{'},$ palindrome, $[1,1,1,1],$ False, $[1]),$

$(\text{'}$even palindrome $4\text{'},$ palindrome, $[0,0,0,0],$ False, $[1]),$

$(\text{'}$odd palindrome $1\text{'},$ palindrome, $[0,1,0],$ False, $[1]),$

$(\text{'}$odd palindrome $2\text{'},$ palindrome, $[1,1,0,1,1],$ False, $[1]),$

$(\text{'}$odd palindrome $3\text{'},$ palindrome, $[0,1,1,1,0],$ False, $[1]),$

$(\text{'}$not palindrome $1\text{'},$ palindrome, $[1,0,0,0],$ False, $[0]),$

$(\text{'}$not palindrome $2\text{'},$ palindrome, $[1,1,0,0],$ False, $[0]),$

$(\text{'}$not palindrome $3\text{'},$ palindrome, $[0,1,1,0,1],$ False, $[0]),$

$(\text{'}$not palindrome $4\text{'},$ palindrome, $[1,0,1,0,1],$ False, $[0])$

$]$

test$($run$\_$TM$,$ palindrome$\_$tests$)$

palindrome FAILED: $[]$ instead of $[1]$

not palindrome FAILED: $[]$ instead of $[0]$

even palindrome $1$ FAILED: $[]$ instead of $[1]$

even palindrome $2$ FAILED: $[]$ instead of $[1]$

even palindrome $3$ FAILED: $[]$ instead of $[1]$

even palindrome $4$ FAILED: $[]$ instead of $[1]$

odd palindrome $1$ FAILED: $[]$ instead of $[1]$

odd palindrome $2$ FAILED: $[]$ instead of $[1]$

odd palindrome $3$ FAILED: $[]$ instead of $[1]$

not palindrome $1$ FAILED: $[]$ instead of $[0]$

not palindrome $2$ FAILED: $[]$ instead of $[0]$

not palindrome $3$ FAILED: $[]$ instead of $[0]$

not palindrome $4$ FAILED: $[]$ instead of $[0]$

Tests finished.