Give a formal definition for a Turing machine with 1 tape but with 2 heads. Your definition should be in the style of Definition 3.3 (page 168 in the 3rd edition, and page 140 in the 2nd edition), modified to describe the fact that the control unit controls 2 heads that can read, write and move left or right.