CS5104: Computability and Formal Languages