Theory of Computation-BCS503/AIDSE