Theory of Computation-BCS503/IOT