/Paper 1/Theory of computation/Finite State Machines