In all the previous lab exercises for this module we have provided either the rules, tapes or descriptions of the TMs¹ you were to work with. Here we leave you to you own creative devices, to write you own TMs from scratch. You can define what symbols will appear on your tape, and how the tape will be formatted. You can write the rules for processing the symbols. Most important, you can use ITM to test your TMs out.

1. Write and test a TM to clear a tape, setting it all to blanks
   
   
2. Write and test a TM that performs "proper integer subtraction" (also called monus). In monus, m-n is like normal subtraction, except when n > m, in which case m - n = 0.
   
   
3. Write and test a TM that performs integer multiplication.