# Given an positive integer x that is divisible by $3,$ your TM will output x$/3.$ For example, if input is $6,$ output is $2$; if input is $3,$ output is $1$

input $="111111"$;

blank $=""$;

start $=$ q$0$;

accept $=$ qf;

# Mark three $1$s as x

$-$q$01[$x$,$ r$,$ q$1]$ # Start marking

x $[$x$,$ r$,$ q$0]$ # Skip marked

$""["",$ r$,$ qr$]$; # Reject

$-$q$11[$x$,$ r$,$ q$2]$ # Mark second

x $[$x$,$ r$,$ q$1]$ # Skip marked

$""["",$ r$,$ qr$]$; # Reject

$-$q$21[$x$,$ r$,$ q$3]$ # Mark third

x $[$x$,$ r$,$ q$2]$ # Skip marked

$""["",$ r$,$ qr$]$; # Reject

# Process group and check for more

$-$q$3$ x $[$x$,$ r$,$ q$3]$ # Skip marked x$\text{'}$s

$1[1,$ r$,$ q$3]$ # Skip unmarked $1$s

$""[1,$ l$,$ q$4]$; # At end: write $1,$ start convert

# Convert marked back

$-$q$4$ x $[1,$ l$,$ q$4]$ # Convert x to $1$

$1[1,$ l$,$ q$4]$ # Skip $1$s

$""["",$ r$,$ q$5]$; # Done converting

# Check if done

$-$q$51[1,$ r$,$ q$0]$ # More to process

$""["",$ r$,$ qf$]$; # All done

$-$qf;

$-$qr;

correct it for me please, if it's not correct fix it$?$