This is the home page for CS4410 - Automata Theory, Computability, and Formal Languages, Spring, 2016. Various things may be added here as the semester progresses, so be sure to check back . . .