CS 5104: Computability and Formal Languages