Repo for the Automata Theory course on Coursera