CSCE 755: Computability, Automata, and Formal Languages