https://class.coursera.org/automata