Automata, computability, and complexity
Massachusetts Institute of Technology