Formal Languages and Automata

Theory of formal languages, automata, and computability.