BCS 2201- Automata, Complexity and Computability