Theory of Computation-BCS503/CSE