Operations on Turing Machines
Intersection