




    
Add 1

                         
   A

  if      write    
           move

           jumpTo   A


  if      write    
           move

           jumpTo   F
Subtract 1
                     Fold



 Go                     Erase


if      write             if      write    
         move                        move

         jumpTo Go                   jumpTo   F


if      write   
         move

         jumpTo Erase
A
if
        write

          move
                          Multiply by 2
         jumpTo   A

if
        write
                 
          move

         jumpTo   A



A                     A                     A                     A
if
        write
                     if
                              write
                                           if
                                                    write
                                                                 if
                                                                          write
                                                                                   
          move                  move                  move                  move

         jumpTo   A            jumpTo   A            jumpTo   A            jumpTo   A

if
        write
                     if
                              write
                                           if
                                                    write
                                                                 if
                                                                          write
                                                                                   
          move                  move                  move                  move

         jumpTo   A            jumpTo   A            jumpTo   A            jumpTo   A



                                                                  A
                                                                  if
                                                                          write
                                                                                   
                                                                            move

                                                                           jumpTo   A

                                                                  if
                                                                          write
                                                                                   
                                                                            move

                                                                           jumpTo   A

Paper turingmachine examples

  • 1.
  • 2.
    Add 1       A if  write  move jumpTo A if  write  move jumpTo F
  • 3.
    Subtract 1 Fold Go Erase if  write  if  write  move move jumpTo Go jumpTo F if  write  move jumpTo Erase
  • 4.
    A if  write move  Multiply by 2 jumpTo A if  write  move jumpTo A A A A A if  write  if  write  if  write  if  write  move move move move jumpTo A jumpTo A jumpTo A jumpTo A if  write  if  write  if  write  if  write  move move move move jumpTo A jumpTo A jumpTo A jumpTo A A if  write  move jumpTo A if  write  move jumpTo A