Exercise 1 Design a machine 3add that implements addition of triplets of binary numbers. a) Specify the input and the output types A, B and the state space Q of your machine. b) Specify the transition function Q x A 3add Q × B, and tabulate it. c) Draw the diagram of your state machine.

Theory that deals with fundamental questions around what problems can and cannot be solved using computation and uses a model of computation to understand the degree to which computers can assist in solving problems. There are three main branches of this subject: automata theory and formal languages, computational complexity theory, and computability theory.