a) Specify a 3-tape Turing machine for binary addition. b) Given a representation of natural numbers and a successor operation in a Universal Computer, construct a program for addition of natural numbers. [Hint: Implement the recursive definition of addition in the Universal Computer.] c) Show that there is a virus that can perform addition of natural numbers, and with each output also produce two copies of itself.